Substructure Temporal Logic.

Massimo Benerecetti Fabio Mogavero Aniello Murano

Published in: LICS (2013)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
partial order
temporal knowledge
computation tree logic
model checker
reactive systems
transition systems
orders of magnitude
markov decision processes
belief revision
linear temporal logic