Alternating-time temporal logics with irrevocable strategies.

Thomas Ågotnes Valentin Goranko Wojciech Jamroga

Published in: TARK (2007)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
belief revision
verification method
predicate logic
reactive systems
temporal knowledge
linear temporal logic
artificial intelligence
petri net