State Space Reduction for Model Checking Agent Programs.
Sung-Shik T. Q. JongmansKoen V. HindriksM. Birna van RiemsdijkPublished in: ProMAS (2011)
Keyphrases
- model checking
- state space
- reachability analysis
- temporal logic
- finite state machines
- temporal properties
- learning agent
- model checker
- multi agent systems
- partially observable
- symbolic model checking
- multi agent
- markov decision process
- belief state
- formal specification
- automated verification
- finite state
- markov decision processes
- goal state
- transition systems
- dynamic logic
- verification method
- heuristic search
- timed automata
- reward function
- practical reasoning
- abstract interpretation
- bounded model checking
- state variables
- concurrent systems
- computation tree logic
- epistemic logic
- reinforcement learning
- reactive systems
- dynamical systems
- formal verification
- multiple agents
- linear temporal logic
- decision theoretic
- process algebra
- asynchronous circuits
- dynamic programming
- formal methods
- alternating time temporal logic
- search space
- markov decision problems
- markov chain
- modal logic
- fully observable
- optimal policy
- control flow
- planning problems