Login / Signup
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Published in:
ECAI (2012)
Keyphrases
</>
temporal logic
complete picture
model checking
linear temporal logic
modal logic
mazurkiewicz traces
concurrent systems
satisfiability problem
predicate logic
transition systems
real numbers
temporal knowledge
verification method
belief revision
computation tree logic