Login / Signup
Complete Proof Systems for First Order Interval Temporal Logic
Bruno Dutertre
Published in:
LICS (1995)
Keyphrases
</>
temporal logic
model checking
linear temporal logic
mazurkiewicz traces
concurrent systems
dynamic constraints
distributed systems
modal logic
reactive systems
verification method
belief revision
satisfiability problem
knowledge base
reinforcement learning
transition systems
temporally extended