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

    6009 Crawley


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

Personal profile


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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Logic Mathematics
Computability and decidability Engineering & Materials Science
Undecidability Mathematics
Timed Automata Mathematics
Trucks Engineering & Materials Science
Modal Logic Mathematics
Bisimulation Mathematics
Model checking Engineering & Materials Science

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

Projects 2008 2018

Research Output 2001 2018

Implicit, explicit and speculative knowledge

van Ditmarsch, H., French, T., Velázquez-Quesada, F. R. & Wáng, Y. N., 1 Mar 2018, In : Artificial Intelligence. 256, p. 35-67 33 p.

Research output: Contribution to journalArticle

artificial intelligence

A Genetic Algorithm for Truck Dispatching in Mining

Cox, W., French, T. N., Reynolds, M. & While, R. L., 2017, GCAI 2017 - 3rd Global Conference on Artificial Intelligence. Benzmüller, C., Lisetti, C. & Theobald, M. (eds.). USA: EasyChair, p. 93–107 (EPiC Series in Computing; vol. 50)

Research output: Chapter in Book/Conference paperConference paper

Open Access
Genetic algorithms
Finite automata
Linear programming
2 Citations

Finding minimum and maximum termination time of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T., 22 Feb 2017, In : Theoretical Computer Science. 665, p. 87-104 18 p.

Research output: Contribution to journalArticle

Timed Automata
Execution Time
Model checking
Model Checking

Using Market-based Optimisation to Solve the Dynamic Vehicle Routing Problem

Bright, C., While, L., French, T. & Reynolds, M., 27 Nov 2017, Symposium Series on Computational Intelligence. New Jersey: IEEE, Institute of Electrical and Electronics Engineers, p. 1561-1568 8 p.

Research output: Chapter in Book/Conference paperConference paper

Vehicle routing
1 Citations

Learning Time Delay Mealy Machines from Programmable Logic Controllers

Caldwell, B., Cardell-Oliver, R. M. & French, T. N., 2016, In : IEEE Transactions on Automation Science and Engineering. 13, 2, p. 1155-1164 10 p.

Research output: Contribution to journalArticle