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

    6009 Perth

    Australia

  • 396 Citations
  • 11 h-Index
20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

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

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

2 Citations (Scopus)

Dynamic aleatoric reasoning in games of bluffing and chance

French, T., Gozzard, A. & Reynolds, M., 17 May 2019, p. 1964-1966. 3 p.

Research output: Contribution to conferenceAbstract

2 Citations (Scopus)

Groups versus coalitions: On the relative expressivity of gal and cal

French, T., Galimullin, R., Van Ditmarsch, H. & Alechina, N., 17 May 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. Canada: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 953-961 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

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

Requirements for adaptive user interfaces for industrial maintenance procedures: A discussion of context, requirements and research opportunities

Woods, C., Hodkiewicz, M. & French, T., Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. USA: Association for Computing Machinery (ACM), p. 322-326 5 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Conference paperConference paper

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

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

1 Citation (Scopus)

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

3 Citations (Scopus)

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

5 Citations (Scopus)

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
131 Downloads (Pure)

Teaching Safety in Design in Large Classes using VR

Male, S., Kenworthy, P., Hassan, G., Guzzomi, A., Van Der Veen, T. & French, T., 9 Dec 2018, Proceedings of 29th Australasian Association for Engineering Education Conference: The future Engineer: Accounting for Diversity. Hamilton, New Zealand: University of Waikato, 101

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
100 Downloads (Pure)
2017

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

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

Open Access
File
2 Citations (Scopus)
157 Downloads (Pure)

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

2 Citations (Scopus)
2016

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

5 Citations (Scopus)

Modelling Systems over General Linear Time

McCabe-Dansted, J., Reynolds, M. & French, T., 5 Dec 2016, Proceedings - 23rd International Symposium on Temporal Representation and Reasoning. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, Institute of Electrical and Electronics Engineers, Vol. 2016-December. p. 130-139 10 p. 7774655

Research output: Chapter in Book/Conference paperConference paper

The Undecidability of Quantified Announcements

Ågotnes, T., Van Ditmarsch, H. & French, T., 2016, In : Studia Logica. 104, 4, p. 597-640

Research output: Contribution to journalArticle

6 Citations (Scopus)
2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T., 2015, In : FORMAL ASPECTS OF COMPUTING. 27, 5-6, p. 917-949

Research output: Contribution to journalArticle

6 Citations (Scopus)

Expressiveness and succinctness of a logic of robustness

Mccabe-Dansted, J., French, T., Pinchinat, S. & Reynolds, M., 2015, In : Journal of Applied Non-Classical Logics. 25, 3, p. 193-228

Research output: Contribution to journalArticle

2 Citations (Scopus)

Hourglass Systems

Osada, Y., Reynolds, M. & French, T., 2015, Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). CRPIT, ACT, Vol. 159. p. 119-123

Research output: Chapter in Book/Conference paperConference paper

Synthesis for continuous time

French, T., Mccabe-Dansted, J. & Reynolds, M., 23 Aug 2015, In : Theoretical Computer Science. 594, p. 201-222

Research output: Contribution to journalArticle

2 Citations (Scopus)
2014

A complete axiomatization of a temporal logic with obligation and robustness

French, T., Mccabe-Dansted, J. & Reynolds, M., 2014, JOURNAL OF LOGIC AND COMPUTATION. UK: Oxford University Press, p. 1-29

Research output: Chapter in Book/Conference paperOther chapter contribution

2 Citations (Scopus)

A composable language for action models

French, T., Hales, J. & Tay, E., 2014, Advances in Modal Logic. London: College Publications, Vol. 10. p. 197-216

Research output: Chapter in Book/Conference paperConference paper

6 Citations (Scopus)

Finding best and worst case execution times of systems using difference-bound matrices

Al-Bataineh, O., Reynolds, M. & French, T., 2014, Formal Modeling and Analysis of Timed Systems. Netherlands: Springer, Vol. 8711 LNCS. p. 38-52

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Hourglass Automata

Osada, Y., French, T., Reynolds, M. & Smallbone, H., 2014, Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification. USA: Cornell University Library, Vol. EPTCS 161. p. 175-188

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Refinement modal logic

Bozzelli, L., Van Ditmarsch, H. P., French, T., Hales, J. & Pinchinat, S., 2014, In : Information and Computation. 239, p. 303-339

Research output: Contribution to journalArticle

18 Citations (Scopus)

Semantics for Knowledge and Change of Awareness

Van Ditmarsch, H. P. & French, T., 2014, In : Journal of Logic, Language and Information. 23, 2, p. 169-195

Research output: Contribution to journalArticle

8 Citations (Scopus)

The undecidability of group announcements

Ågotnes, T., Van Ditmarsch, H. P. & French, T., 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). International Foundation for Autonomous Agents and Multiagent Systems , Vol. 2. p. 893-900

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)
2013

An algebraic system for linear orders

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, TIME'13 20th International Symposium on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 81-88

Research output: Chapter in Book/Conference paperConference paper

An Efficient Tableau for Linear Time Temporal Logic

Bian, J., French, T. & Reynolds, M., 2013, Lecture Notes in Artificial Intelligence. Cranefield, S. & Nayak, A. (eds.). Germany: Springer, Vol. 8272 2013. p. 289-300

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

A novel bipartite graph approach for selection and prioritisation of test cases

Garg, D., Datta, A. & French, T., 2013, In : ACM SIGSOFT Software Engineering Notes. 38, 6, p. 1-6

Research output: Contribution to journalArticle

Complexity of model checking general linear time

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, TIME'13 20th International Symposium on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 107-114

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)
10 Downloads (Pure)

Indiscrete Models: Model Building and Model Checking over Linear Time

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Logic and Its Applications. Lodaya, K. (ed.). Chennai, India: Springer, Vol. 7750. p. 50-68 (Lodaya, Kamal).

Research output: Chapter in Book/Conference paperChapter

4 Citations (Scopus)

Knowledge, Awareness, and Bisimulation

Ditmarsch, H., French, T., Velazquez-Quesada, F. R. & Wang, Y. N., 2013, TARK 2013 - Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge. Chennai, India: Institute of Mathematical Sciences , Vol. 1. p. 61-70

Research output: Chapter in Book/Conference paperConference paper

8 Citations (Scopus)

Model checking general linear temporal logic

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Lecture Notes in Artificial Intelligence. Galmiche, D. & Larchey-Wendling, D. (eds.). Berlin: Springer, Vol. 8123 LNAI. p. 119-133

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

Online learning classifiers in dynamic environments with incomplete feedback

Behdad, M. & French, T., 2013, 2013 IEEE Congress on Evolutionary Computation. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1786 - 1793

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

On the succinctness of some modal logics

French, T., Van Der Hoek, W., Iliev, P. & Kooi, B. P., 2013, In : Artificial Intelligence. 197, p. 56-85

Research output: Contribution to journalArticle

Open Access
24 Citations (Scopus)

Verifying temporal properties in real models

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Germany: Springer, p. 309-232 (Lecture Notes in Computer Science; no. 8312).

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)
2012

Action models for knowledge and awareness

Ditmarsch, H., French, T. & Velazquez-Quesada, F., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. USA: Association for Computing Machinery (ACM), Vol. 2. p. 1091-1098

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

A Two-Level Prioritization Approach for Regression Testing of Web Applications

Garg, D., Datta, A. & French, T., 2012, Software Engineering Conference (APSEC), 2012 19th Asia-Pacific. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2. p. 150-153

Research output: Chapter in Book/Conference paperConference paper

7 Citations (Scopus)

Formal modeling and analysis of a distributed transaction protocol in UPPAAL

Al-Bataineh, O., French, T. & Woodings, T., 2012, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012. United Kingdom: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 65-72

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Nature-inspired techniques in the context of fraud detection

Behdad, M., Barone, L., Bennamoun, M. & French, T., 2012, In : IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews. 42, 6, p. 1273 - 1290

Research output: Contribution to journalArticle

35 Citations (Scopus)

On principal component analysis for high-dimensional XCSR

Behdad, M., French, T., Barone, L. & Bennamoun, M., 2012, In : Evolutionary Intelligence. 5, p. 129-138

Research output: Contribution to journalArticle

5 Citations (Scopus)

On XCSR for electronic fraud detection

Behdad, M., Barone, L., French, T. & Bennamoun, M., 2012, In : Evolutionary Intelligence. 5, p. 139-150

Research output: Contribution to journalArticle

11 Citations (Scopus)

Refinement Quantified Logics of Knowledge and belief for Multiple Agents

French, T., Hales, J. C. & Davies, R., 2012, Advances in Modal Logic. UK: College Publications, Vol. 9. p. 317-338

Research output: Chapter in Book/Conference paperConference paper

Synthesis for Temporal Logic over the Reals

French, T., Mccabe-Dansted, J. & Reynolds, M., 2012, Advances in Modal Logic. UK: College Publications, Vol. 9. p. 217-238

Research output: Chapter in Book/Conference paperConference paper

2011

An Investigation of Recursive Auto-associative Memory in Sentiment Detection

Reynolds, M., Liu, W., French, T. & Danesh, S., 2011, Lecture Notes in Artificial Inteligence. Germany: Springer, Vol. 7120. p. 162-174

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)