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

    6009 Perth

    Australia

  • 283 Citations
  • 10 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 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 2023

Research Output 2001 2018

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

A low-cost hardware-in-the-loop agent-based simulation testbed for autonomous vehicles

Barker, R., Hurst, A., Shrubsall, R., Hassan, G. M. & French, T., 30 Aug 2018, AIM 2018 - IEEE/ASME International Conference on Advanced Intelligent Mechatronics. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2018-July. p. 1015-1020 6 p. 8452376

Research output: Chapter in Book/Conference paperConference paper

Testbeds
Computer hardware
Costs
Railroad tracks
Computer vision
1 Citations

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

axiomatization
equivalence
knowledge
introspection
artificial intelligence

Population based methods for optimising infinite behaviours of timed automata

Tolonen, L., French, T. & Reynolds, M., 1 Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Netherlands: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 120. p. 1-22

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Ant colony optimization
Real time systems
Explosions
Time delay
Scheduling

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
Trucks
Genetic algorithms
Shovels
Finite automata
Linear programming