Model-checking for Resource-Bounded ATL with production and consumption of resources.
Natasha AlechinaBrian LoganHoang Nga NguyenFranco RaimondiPublished in: J. Comput. Syst. Sci. (2017)
Keyphrases
- model checking
- resource bounded
- information gathering
- temporal logic
- alternating time temporal logic
- model checker
- formal verification
- automated verification
- autonomous agents
- meta level
- symbolic model checking
- timed automata
- temporal properties
- formal methods
- computation tree logic
- verification method
- transition systems
- linear temporal logic
- epistemic logic
- information fusion
- formal specification
- resource allocation
- bounded model checking
- dynamic environments