Model checking coalitional games in shortage resource scenarios.
Dario Della MonicaMargherita NapoliMimmo ParentePublished in: GandALF (2013)
Keyphrases
- model checking
- coalitional games
- temporal logic
- model checker
- formal verification
- formal specification
- automated verification
- verification method
- temporal properties
- symbolic model checking
- coalition formation
- transition systems
- related problems
- epistemic logic
- bounded model checking
- timed automata
- game theoretic
- resource allocation
- computation tree logic
- formal methods
- multiagent systems
- reactive systems
- approximation algorithms
- bayesian networks