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

    6009 Perth

    Australia

  • 734 Citations
  • 15 h-Index
1985 …2023
If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Filter
Conference paper
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

Epistemic Logic
Dynamic Logic
Proposition
Probability distributions
Probability Distribution
2 Citations (Scopus)

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

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Bataineh, O., Rosenblum, D. S. & Reynolds, M., 1 Jan 2019, Model Checking Software - 26th International Symposium, SPIN 2019, Proceedings. Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11636 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Linear Temporal Logic
Temporal logic
Progression
Decentralized
Table

Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication

Gee, L. M. & 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. 534-538 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11671 LNAI).

Research output: Chapter in Book/Conference paperConference paper

Vehicle to vehicle communications
Traffic Control
Traffic control
Clique
Control Strategy

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification

Bartley, C. W., Liu, W. & Reynolds, M., 28 Jan 2019, 33rd AAAI Conference on Artificial Intelligence (AAAI 2019).

Research output: Chapter in Book/Conference paperConference paper

Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults

Al-Bataineh, O. & Reynolds, M., 1 May 2019, Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019. IEEE, Institute of Electrical and Electronics Engineers, p. 1-10 10 p. 8807721. (Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019).

Research output: Chapter in Book/Conference paperConference paper

Model checking
Concretes
Network protocols
Semantics
Communication

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

Microgrid
Graph Clustering
Evolutionary algorithms
Evolutionary Algorithms
Electricity
1 Citation (Scopus)

Location-Velocity Attention for Pedestrian Trajectory Prediction

Xue, H., Huynh, D. & Reynolds, M., 4 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2038–2047 10 p. 8659060. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Conference paperConference paper

Trajectories

Pedestrian tracking and stereo matching of tracklets for autonomous vehicles

Xue, H., Huynh, D. Q. & Reynolds, M., 2019, 2019 IEEE 89th Vehicular Technology Conference, VTC Spring 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, 8746329. (IEEE Vehicular Technology Conference; vol. 2019-April).

Research output: Chapter in Book/Conference paperConference paper

Stereo Matching
Autonomous Vehicles
Trajectories
Trajectory
Pipelines

Pedestrian Trajectory Prediction Using A Social Pyramid

Xue, H., Huynh, D. & Reynolds, M., 2019, PRICAI 2019: Trends in Artificial Intelligence. Nayak, A. C. & Sharma, A. (eds.). Springer International Publishing, Vol. 11671. p. 439-453 14 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference paperConference paper

Trajectories

Synthesis of LTL formulas from natural language texts: State of the art and research directions

Brunello, A., Montanari, A. & Reynolds, M., 1 Oct 2019, Leibniz International Proceedings in Informatics, LIPIcs. Gamper, J., Pinchinat, S. & Sciavicco, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 171-1719 1549 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 147).

Research output: Chapter in Book/Conference paperConference paper

Open Access
Temporal logic
Model checking
Specifications

Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking

Liu, C., Huynh, D. & Reynolds, M., 2019, International Joint Conference on Neural Networks (IJCNN). Budapest: IEEE, Institute of Electrical and Electronics Engineers, 8 p.

Research output: Chapter in Book/Conference paperConference paper

Stairs
Fusion reactions
Color
1 Citation (Scopus)

When geo-text meets security: Privacy-preserving boolean spatial keyword queries

Cui, N., Li, J., Yang, X., Wang, B., Reynolds, M. & Xiang, Y., 1 Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, Institute of Electrical and Electronics Engineers, p. 1046-1057 12 p. 8731414. (Proceedings - International Conference on Data Engineering; vol. 2019-April).

Research output: Chapter in Book/Conference paperConference paper

Query processing
Location based services
Outsourcing
Servers
Experiments
2018
103 Downloads (Pure)

A comparative study of decision diagrams for real-time model checking

Al-Bataineh, O., Reynolds, M. & Rosenblum, D., 1 Jan 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Austria: Springer-Verlag Wien, p. 216-234 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Decision Diagrams
Model checking
Model Checking
Comparative Study
Real-time

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

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

Gigante, N., Montanari, A., Cialdea Mayer, M., Orlandini, A. & Reynolds, M., Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Planning
Uncertainty
1 Citation (Scopus)

A novel framework for constructing partially monotone rule ensembles

Bartley, C., Liu, W. & Reynolds, M., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1324-1327 4 p. 8509361

Research output: Chapter in Book/Conference paperConference paper

Classifiers
Learning systems
Cones
Tumors
Experiments
2 Citations (Scopus)

A supervised learning framework for learning management systems

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 2018, Proceedings of the First International Conference on Data Science, E-learning and Information Systems. Lara, J. A. (ed.). New York: Association for Computing Machinery (ACM), p. 1-18 18

Research output: Chapter in Book/Conference paperConference paper

Genetic Algorithms for Scheduling and Optimization of Ore Train Networks

Hassan, G. & Reynolds, M., 17 Sep 2018, Proceedings GCAI-2018. 4th Global Conference on Artificial Intelligence. Lee, D., Steen, A. & Walsh, T. (eds.). Luxembourg: EasyChair, Vol. 55. p. 81-92 (EPiC Series in Computing).

Research output: Chapter in Book/Conference paperConference paper

Ores
Genetic algorithms
Scheduling
Supply chains
Iron ores
1 Citation (Scopus)
112 Downloads (Pure)

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Geatti, L., Gigante, N., Montanari, A. & Reynolds, M., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrucken, Germany, 26-28th September 2018.. Orlandini, A. & Zimmermann, M. (eds.). Open Publishing Association, p. 176-190

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Temporal logic
Syntactics
Real time systems
Semantics
Planning
62 Downloads (Pure)

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
26 Citations (Scopus)

SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction

Xue, H., Huynh, D. & Reynolds, M., May 2018, 2018 IEEE Winter Conference on Applications of Computer Vision (WACV). IEEE, Institute of Electrical and Electronics Engineers, p. 1186-1194 9 p. 8354239

Research output: Chapter in Book/Conference paperConference paper

Trajectories
Deep learning
2 Citations (Scopus)

Variable length encoded genetic algorithm for optimal electrical distribution network routing

Fletcher, J. R. E., Fernando, T., Iu, H. H. C., Reynolds, M. & Fani, S., 2 Feb 2018, 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2018-January. p. 1-8 8 p.

Research output: Chapter in Book/Conference paperConference paper

Electrical Networks
Network routing
Distribution Network
Electric power distribution
Routing
2017
4 Citations (Scopus)

A flexible accessibility analysis tool for enhanced urban analytics

Sun, Y., McCarney, G., Sabri, S., Amirebrahimi, S., Agunbiade, M., Chen, Y., Keshtiarast, A., Kalantari, M., Bright, C., Olaru, D., Reynolds, M., Rajabifard, A. & Biermann, S., 27 Nov 2017, Australasian Transport Research Forum 2017 Proceedings. New Zealand: Australasian Transport Research Forum

Research output: Chapter in Book/Conference paperConference paper

accessibility
infrastructure
spatial resolution
labor
GIS

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

A One-Pass Tree-Shaped Tableau for LTL+Past

Gigante, N., Montanari, A. & Reynolds, M., 2017, LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (eds.). United Kingdom: EasyChair, Vol. 46. p. 456-473 17 p. ( EPiC Series in Computing).

Research output: Chapter in Book/Conference paperConference paper

Temporal logic
Computer science
Artificial intelligence
Specifications
2 Citations (Scopus)

A parallel linear temporal logic tableau

McCabe-Dansted, J. & Reynolds, M., 6 Sep 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification. Bouyer, P., Orlandini, A. & San Pietro, P. (eds.). Waterloo, NSW: Open Publishing Association, Vol. 256. p. 166-179 14 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access
Temporal logic
Supercomputers
Communication
Cloud computing
7 Citations (Scopus)

Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification

Xue, H., Huynh, D. & Reynolds, M., 2017, 2017 International Conference on Digital Image Computing: Techniques and Applications, DICTA 2017, Sydney, Australia, November 29 - December 1, 2017. United States: IEEE, Institute of Electrical and Electronics Engineers, 8 p.

Research output: Chapter in Book/Conference paperConference paper

Trajectories
Intelligent robots
Planning

Economic Feasibility of Stand-alone Power Systems for Existing Distribution Networks in Rural Areas

Fletcher, J., Fernando, T., Iu, H., Reynolds, M. & Fani, S., 2017, 2017 IEEE Innovative Smart Grid Technologies. United States: IEEE, Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Conference paperConference paper

Electric power distribution
Economics
Electricity
Costs
Distributed power generation

Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking

Liu, C., Huynh, D. & Reynolds, M., 2017, 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA). United States: IEEE, Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Conference paperConference paper

Computer vision
Lighting

Review of Clustering Algorithms for Microgrid Formation

Li Kwok Cheong, D., Fernando, T., Iu, H., Reynolds, M. & Fletcher, J., 2017, 2017 IEEE Innovative Smart Grid Technologies - Asia . United States: IEEE, Institute of Electrical and Electronics Engineers, p. 1-6 6 p.

Research output: Chapter in Book/Conference paperConference paper

Clustering algorithms
Costs
Planning
Power quality
Computational efficiency
2 Citations (Scopus)

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
Industry
Experiments
2016
5 Citations (Scopus)

A new rule for LTL tableaux

Reynolds, M., Sep 2016, Electronic Proceedings in Theoretical Computer Science, EPTCS. van Glabbeek, R. (ed.). Open Publishing Association, Vol. 226. p. 287-301 15 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access
Temporal logic
Acoustic waves
Students
Processing
1 Citation (Scopus)

Effective monotone knowledge integration in kernel support vector machines

Bartley, C., Liu, W. & Reynolds, M., 2016, Advanced Data Mining and Applications. ADMA 2016. Lecture Notes in Computer Science. Li, J., Li, X., Wang, S., Li, J. & Sheng, Q. Z. (eds.). Springer, Vol. 10086. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 10086).

Research output: Chapter in Book/Conference paperConference paper

Support vector machines
Classifiers
Learning systems
8 Citations (Scopus)
13 Downloads (Pure)

Leviathan: A new LTL satisfiability checking tool based on a one-pass tree-shaped tableau

Bertello, M., Gigante, N., Montanari, A. & Reynolds, M., 2016, Proceedings of the 25th International Joint Conference on Artificial Intelligence. Kambhampati, S. (ed.). USA: AAAI Press, p. 950-956 7 p.

Research output: Chapter in Book/Conference paperConference paper

Data storage equipment

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

System Modeling
Linear Time
Automata
Regular Expressions
Temporal Logic
2015
3 Citations (Scopus)

A case study on optimizing an electrical distribution network using a genetic algorithm

Fletcher, J., Fernando, T., Iu, H. C., Reynolds, M. & Fani, S., 2015, IEEE International Symposium on Industrial Electronics Proceedings. IEEE, Institute of Electrical and Electronics Engineers, Vol. 2015-September. p. 20-25

Research output: Chapter in Book/Conference paperConference paper

Electric power distribution
Genetic algorithms
Costs
Topology

A tableau for bundled strategies

Mccabe-Dansted, J. & Reynolds, M., 2015, Automated Reasoning with Analytic Tableaux and Related Methods. Switzerland: Springer-Verlag London Ltd., Vol. 9323. p. 22-37

Research output: Chapter in Book/Conference paperConference paper

Multi agent systems

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

Trucks
Model checking
Unloading
2014
4 Citations (Scopus)

A tableau for temporal logic over the reals

Reynolds, M., 2014, Advances in Modal Logic. College Publications, Vol. 10. p. 439-458

Research output: Chapter in Book/Conference paperConference paper

Temporal logic
Acoustic waves
Planning
3 Citations (Scopus)

Fairness with EXPTIME bundled CTL tableau

Mccabe-Dansted, J. & Reynolds, M., 2014, 21st International Symposium on Temporal Representation and Reasoning. United States: IEEE, Institute of Electrical and Electronics Engineers, p. 164-173

Research output: Chapter in Book/Conference paperConference paper

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

Model checking
Data structures
1 Citation (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

2 Citations (Scopus)

Verification of rewrite rules for computation tree logics

Mccabe-Dansted, J. & Reynolds, M., 2014, Proceedings of the International Workshop on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. N/A. p. 142-151 (International Workshop on Temporal Representation and Reasoning. Proceedings).

Research output: Chapter in Book/Conference paperConference paper

Theorem proving
Temporal logic
Trees (mathematics)
Model checking
2013

A faster Tableau for CTL*

Reynolds, M., 2013, Proceedings of the 4th International Symposium on Games, Automata, Logics and Formal Verification. Italy: Open Publishing Association, Vol. 1. p. 50-63

Research output: Chapter in Book/Conference paperConference paper

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

2 Citations (Scopus)

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

3 Citations (Scopus)

A new metric temporal logic for hybrid systems

Reynolds, M., 2013, TIME'13 20th International Symposium on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 73-80

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)
10 Downloads (Pure)

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

2 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