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

    6009 Perth

    Australia

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

Research Output 1985 2019

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

An Adaptive-Phasor Approach to PMU Measurement Rectification for LFOD Enhancement

Chau, T. K., Yu, S., Fernando, T. L., Iu, H. H. C., Small, M. & Reynolds, M., 1 Sep 2019, In : IEEE Transactions on Power Systems. 34, 5, p. 3941-3950 10 p., 8674594.

Research output: Contribution to journalArticle

Phasor measurement units
Damping
Recovery
Voltage regulators
Synchronous generators

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

A quest for a one-size-fits-all neural network: Early prediction of students at risk in online courses

Monllao Olive, D., Huynh, D., Reynolds, M., Dougiamas, M. & Wiese, D., 15 Apr 2019, In : IEEE Transactions on Learning Technologies. p. 171-183 13 p.

Research output: Contribution to journalArticle

neural network
Students
Neural networks
student
learning

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC

Monllaó Olivé, D., Huynh, D. Q., Reynolds, M., Dougiamas, M. & Wiese, D., 24 May 2019, In : Journal of Computing in Higher Education.

Research output: Contribution to journalArticle

learning
student
educational setting
management
neural network

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

Efficient decentralized LTL monitoring framework using tableau technique

Bataineh, O., Rosenblum, D. S. & Reynolds, M., 1 Oct 2019, In : ACM Transactions on Embedded Computing Systems. 18, 5s, A87.

Research output: Contribution to journalArticle

Temporal logic
Monitoring
Syntactics
Semantics
Communication

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

IWSC 2017 chairs' welcome

Zhang, R., Li, J., Yin, H., Reynolds, M., Cheema, M. A. & Chen, L., 2019, In : 26th International World Wide Web Conference 2017, WWW 2017 Companion. p. 1315-1316 2 p.

Research output: Contribution to journalEditorial

1 Citation (Scopus)

Location prediction in large-scale social networks: an in-depth benchmarking study

Al Hasan Haldar, N., Li, J., Reynolds, M., Sellis, T. & Yu, J. X., 9 Jul 2019, In : VLDB Journal.

Research output: Contribution to journalArticle

Benchmarking
Recommender systems
Disasters
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
3 Citations (Scopus)

Quantum algorithm for visual tracking

Yu, C. H., Gao, F., Liu, C., Huynh, D., Reynolds, M. & Wang, J., 2019, In : Physical Review A (Atomic, Molecular and Optical Physics). 99, 2, 022301.

Research output: Contribution to journalArticle

optical tracking
computer vision
classifiers
ridges
regression analysis

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

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

Evidence-driven dubious decision making in online shopping

Tian, Q., Li, J., Chen, L., Deng, K., Li, R. H., Reynolds, M. & Liu, C., 7 Jul 2018, In : World Wide Web. p. 1-17 17 p.

Research output: Contribution to journalArticle

Recommender systems
Decision making
Costs

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
79 Downloads (Pure)
Open Access
File
Electric power transmission networks
Power transmission
Clustering algorithms
Life cycle
Economics
9 Citations (Scopus)

Multiobjective optimization of ethylene cracking furnace system using self-adaptive multiobjective teaching-learning-based optimization

Yu, K., While, L., Reynolds, M., Wang, X., Liang, J. J., Zhao, L. & Wang, Z., 1 Apr 2018, In : Energy. 148, p. 469-481 13 p.

Research output: Contribution to journalArticle

Multiobjective optimization
Ethylene
Teaching
Furnaces
Fuel consumption
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
2 Citations (Scopus)

Spatial Optimization for the Planning of Sparse Power Distribution Networks

Fletcher, J. R. E., Fernando, T. L., Iu, H., Reynolds, M. & Fani, S., Nov 2018, In : IEEE Transactions on Power Systems. 33, 6, p. 6686-6695 8379446.

Research output: Contribution to journalArticle

Electric power distribution
Network routing
Planning
Topology
Costs
25 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
3 Citations (Scopus)

The temporal logic of two dimensional Minkowski spacetime is decidable

Hirsch, R. & Reynolds, M., Sep 2018, In : The Journal of Symbolic Logic. 83, 3, p. 829-867

Research output: Contribution to journalArticle

Temporal Logic
Space-time
Accessibility
Irreflexive
Logic
2 Citations (Scopus)
Finite automata
Computer vision
Experiments
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
10 Citations (Scopus)

Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization

Yu, K., While, L., Reynolds, M., Wang, X. & Wang, Z., 6 Apr 2017, In : Computers and Chemical Engineering. 99, p. 314-324 11 p.

Research output: Contribution to journalArticle

Ethylene
Teaching
Furnaces
Scheduling
Hydrocarbons

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
2 Citations (Scopus)
108 Downloads (Pure)

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
Timed Automata
Termination
Execution Time
Model checking
Model Checking
161 Downloads (Pure)
File
Thermochemistry
Molecular crystals
Physical chemistry
Computational methods
Crystal structure

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

Rewrite rules for CTL*

McCabe-Dansted, J. C. & Reynolds, M., 1 May 2017, In : Journal of Applied Logic. 21, p. 24-56 33 p.

Research output: Contribution to journalArticle

Open Access
File
Theorem proving
Temporal logic
Model checking
Acoustic waves
Benchmark
1 Citation (Scopus)

To be fair, use bundles

McCabe-Dansted, J. & Reynolds, M., 1 Aug 2017, In : Annals of Mathematics and Artificial Intelligence. 80, 3-4, p. 317-364 48 p.

Research output: Contribution to journalArticle

Computational complexity
Bundle
Fairness
Logic
Tableau