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

    6009 Perth

    Australia

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

Fingerprint Dive into the research topics where Mark Reynolds is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Temporal logic
Model checking
Electric power distribution
Trajectories
Genetic algorithms
Theorem proving
Acoustic waves
Costs
Planning
Network routing
Clustering algorithms
Scheduling
Trucks
Trees (mathematics)
Economics
Ethylene
Teaching
Furnaces
Classifiers
Fusion reactions
Syntactics
Vehicle to vehicle communications
Semantics
Finite automata
Power transmission
Multi agent systems
Network protocols
Recommender systems
Phasor measurement units
Stairs
Topology
Vehicle routing
Electricity
Monitoring
Ant colony optimization
Evolutionary algorithms
Query processing
Communication
Electric power transmission networks
Traffic control
Benchmarking
Multiobjective optimization
Specifications
Probability distributions
Students
Computer vision
Ores
Support vector machines
Learning systems
Mathematical operators

Mathematics

Logic
Temporal Logic
Tableau
Timed Automata
Model Checking
Linear Time
Branching
Axiomatization
Decision Procedures
Execution Time
Distribution Network
Robustness
Microgrid
Graph Clustering
Epistemic Logic
Electrical Networks
Linear Temporal Logic
Stereo Matching
Model
Reasoning
Dynamic Logic
Linear Logic
Decision Diagrams
Traffic Control
Autonomous Vehicles
Automata
Termination
Path
Operator
Expressiveness
Fairness
Modal Logic
Clique
Progression
System Modeling
Proposition
Decentralized
Comparative Study
Traffic
Control Strategy
Evolutionary Algorithms
Continuous Time
Benchmark
Bundle
Table
Valid
Cycle
Routing
Probability Distribution
Space-time