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

    6009 Perth

    Australia

  • 305 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 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
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