Prompt Interval Temporal Logic.

Dario Della Monica Angelo Montanari Aniello Murano Pietro Sala

Published in: JELIA (2016)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
predicate logic
belief revision
verification method
linear temporal logic
computation tree logic
mazurkiewicz traces
finite state
reactive systems
spatial information
transition systems