Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.
Angelo MontanariGabriele PuppisPietro SalaPublished in: MFCS (1) (2014)
Keyphrases
- temporal logic
- model checking
- automata theoretic
- satisfiability problem
- modal logic
- concurrent systems
- decision procedures
- model checker
- mazurkiewicz traces
- belief revision
- transition systems
- verification method
- description logics
- computation tree logic
- linear temporal logic
- temporal properties
- temporally extended
- reactive systems
- bounded model checking
- formal verification
- query answering
- reinforcement learning