Symbolic Model-checking for Resource-Bounded ATL.

Natasha Alechina Brian Logan Hoang Nga Nguyen Franco Raimondi Leonardo Mostarda

Published in: AAMAS (2015)

Keyphrases

resource bounded
symbolic model checking
model checking
temporal logic
information gathering
autonomous agents
model checker
formal verification
meta level
multi agent systems
formal specification
formal methods
rational agents
neural network
object level
game theoretic
partial observability
learning algorithm