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

    6009 Perth

    Australia

  • 325 Citations
  • 11 h-Index
20012023
If you made any changes in Pure these will be visible here soon.

Personal profile

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.

  • 1 Similar Profiles
Logic Mathematics
Computability and decidability Engineering & Materials Science
Undecidability Mathematics
Timed Automata Mathematics
Trucks Engineering & Materials Science
Modal Logic Mathematics
Epistemic Logic Mathematics
Quantifiers Mathematics

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

Research Output 2001 2019

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

Epistemic Logic
Dynamic Logic
Proposition
Probability distributions
Probability Distribution
1 Citation (Scopus)

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

Probabilistic Reasoning
Calculi
Possible Worlds
Sound
Multi-agent Systems

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

Microgrid
Graph Clustering
Evolutionary algorithms
Evolutionary Algorithms
Electricity

Sublogics of a branching time logic of robustness

McCabe-Dansted, J., Dixon, C., French, T. & Reynolds, M., 1 Jun 2019, In : Information and Computation. 266, p. 126-160 35 p.

Research output: Contribution to journalArticle

Open Access
Branching
Logic
Quantifiers
Robustness
Path

A Cooperative Coevolutionary Algorithm for Real-time Underground Mine Scheduling

Cox, W. M. E., French, T., Reynolds, M. & While, R., 2018, Artificial Intelligence, AI 2018, Wellington, New Zealand, December 2018. Springer, p. 410-418

Research output: Chapter in Book/Conference paperConference paper

heuristics
road
traffic

Projects 2008 2023