Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems.
Angelo FerrandoVadim MalvonePublished in: PAAMS (2022)
Keyphrases
- model checking
- multi agent systems
- temporal logic
- coalition logic
- automated verification
- model checker
- verification method
- formal verification
- bounded model checking
- temporal properties
- finite state
- temporal epistemic
- formal specification
- epistemic logic
- finite state machines
- partial order reduction
- reachability analysis
- formal methods
- symbolic model checking
- concurrent systems
- computation tree logic
- multi agent
- process algebra
- transition systems
- reactive systems
- timed automata
- pspace complete
- planning domains
- asynchronous circuits
- linear time temporal logic
- game theory
- search algorithm