Login / Signup
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.
Dimitar P. Guelev
Published in:
Log. Methods Comput. Sci. (2007)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
modal logic
transition systems
real numbers
reactive systems
distributed systems
satisfiability problem
interval data
concurrent systems
reinforcement learning
knowledge based systems
theorem proving
verification method
mazurkiewicz traces