Model checking single agent behaviours by fluid approximation.
Luca BortolussiJane HillstonPublished in: Inf. Comput. (2015)
Keyphrases
- model checking
- single agent
- multi agent
- multiple agents
- planning domains
- temporal logic
- multi agent systems
- dynamic environments
- decision problems
- finite state
- formal verification
- model checker
- automated verification
- symbolic model checking
- temporal properties
- path finding
- verification method
- formal specification
- formal methods
- reinforcement learning
- transition systems
- description language
- bounded model checking
- epistemic logic
- dec pomdps
- computation tree logic
- ai planning
- queueing networks
- orders of magnitude
- domain specific
- cooperative