Symbolic Model Checking for One-Resource RB+-ATL.

Natasha Alechina Brian Logan Hoang Nga Nguyen Franco Raimondi

Published in: IJCAI (2015)

Keyphrases

symbolic model checking
model checking
temporal logic
model checker
formal verification
finite state
conformant planning
formal specification
multi agent systems
partial observability
formal methods
symbolic representation
binary decision diagrams
machine learning
knowledge base
phase transition