Results on Alternating-Time Temporal Logics with Linear Past.

Laura Bozzelli Aniello Murano Loredana Sorrentino

Published in: TIME (2018)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
belief revision
predicate logic
verification method
concurrent systems
bounded model checking
expert systems
temporal knowledge
reactive systems