Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources.
Natasha AlechinaBrian LoganNguyen Hoang NgaFranco RaimondiPublished in: CoRR (2015)
Keyphrases
- model checking
- resource bounded
- technical report
- information gathering
- temporal logic
- alternating time temporal logic
- formal specification
- formal verification
- autonomous agents
- meta level
- automated verification
- model checker
- computation tree logic
- temporal properties
- verification method
- symbolic model checking
- formal methods
- epistemic logic
- information fusion
- bounded model checking
- resource allocation
- cooperative
- transition systems
- reinforcement learning
- reactive systems
- multi agent systems
- timed automata
- dynamic programming
- rational agents
- state space
- multiagent systems