• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 363 Citations
  • 11 h-Index
20012023

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research expertise keywords

  • Algorithms
  • Automata theory
  • Automated reasoning
  • Formal methods in software
  • Logical foundations of computer science
  • Modal/temporal logic
  • Verification of systems

Fingerprint Dive into the research topics where Tim French is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Aleatoric dynamic epistemic logic for learning agents

French, T., Gozzard, A. & Reynolds, M., 1 Jan 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer-Verlag Berlin, p. 433-445 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11670 LNAI).

Research output: Chapter in Book/Conference paperConference paper

  • A modal aleatoric calculus for probabilistic reasoning

    Gozzard, A., French, T. & Reynolds, M., 2019, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Aquil Khan, M. & Manuel, A. (eds.). Berlin: Springer, p. 52-63

    Research output: Chapter in Book/Conference paperConference paper

  • 2 Citations (Scopus)

    Dynamic aleatoric reasoning in games of bluffing and chance

    French, T., Gozzard, A. & Reynolds, M., 17 May 2019, p. 1964-1966. 3 p.

    Research output: Contribution to conferenceAbstract

  • Groups versus coalitions: On the relative expressivity of gal and cal

    French, T., Galimullin, R., Van Ditmarsch, H. & Alechina, N., 17 May 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. Canada: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 953-961 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

    Research output: Chapter in Book/Conference paperConference paper

  • Identifying Isolated Microgrids in Rural Areas: An Evolutionary Algorithm Approach for a Graph Clustering Problem

    Rosenberg, M., Fletcher, J., Reynolds, M., French, T. & While, L., 1 Jun 2019, 2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, p. 2498-2505 8 p. 8790232. (2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings).

    Research output: Chapter in Book/Conference paperConference paper

  • Projects