The temporal logic of coalitional goal assignments in concurrent multi-player games.

Sebastian Enqvist Valentin Goranko

Published in: CoRR (2020)

Keyphrases

temporal logic
model checking
modal logic
temporally extended
satisfiability problem
temporally extended goals
mazurkiewicz traces
concurrent systems
belief revision
temporal knowledge
verification method
computation tree logic
linear temporal logic
knowledge base
special case
bounded model checking