Coalition Power in Epistemic Transition Systems.

Pavel Naumov Jia Tao

Published in: AAMAS (2017)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
control flow
finite state
knowledge base
artificial intelligence
domain specific
data flow
formal verification
model checker
coalitional games
reactive systems