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

    6009 Perth

    Australia

  • 296 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
Quantifiers Mathematics
Bisimulation Mathematics

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

Research Output 2001 2019

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

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
1 Citation (Scopus)

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

Applying cognitive computing to maintainer-collected data

Smoker, T. M., French, T., Liu, W. & Hodkiewicz, M. R., 29 Jan 2018, 2017 2nd International Conference on System Reliability and Safety, ICSRS 2017. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2018-January. p. 543-551 9 p.

Research output: Chapter in Book/Conference paperConference paper

Maintenance
Computing
Text Mining
Knowledge Representation
Knowledge representation

Projects 2008 2023