scientific article; zbMATH DE number 512815
From MaRDI portal
Publication:4281508
zbMATH Open0811.68115MaRDI QIDQ4281508FDOQ4281508
Authors: Chaochen Zhou, Michael R. Hansen, Peter Sestoft 
Publication date: 10 March 1994
Title of this publication is not available (Why is that?)
Recommendations
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Undecidability and degrees of sets of sentences (03D35)
Cited In (34)
- A practical approach to model checking duration calculus using Presburger arithmetic
- Robust safety of timed automata
- Decidability of mean value calculus
- Automata for a decidable subset of duration calculus.
- A survey on temporal logics for specifying and verifying real-time systems
- A mixed decision method for duration calculus
- On the completeness and decidability of duration calculus with iteration
- Interval duration logic: expressiveness and decidability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-elementary lower bound for Propositional Duration Calculus
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Take It NP-Easy: Bounded Model Construction for Duration Calculus
- Duration calculus: Logical foundations
- Title not available (Why is that?)
- A Theory of Duration Calculus with Application
- Monotonic hybrid systems
- Model checking duration calculus: a practical approach
- Decidability of a hybrid duration calculus
- Prefix and projection onto state in duration calculus
- Model-checking dense-time duration calculus
- A duration calculus with infinite intervals
- Model-checking discrete duration calculus
- Sharpening the incompleteness of the duration calculus
- Checking integral real-time automata for extended linear duration invariants
- A decision procedure and complete axiomatization for projection temporal logic
- Deciding an Interval Logic with Accumulated Durations
- Bounded variability of metric temporal logic
- Undecidability over Continuous Time
- Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
- Finite variability interpretation of monadic logic of order
- A real-time interval logic and its decision procedure
- Interval logics and their decision procedures. II: A real-time interval logic
- Expressive completeness of duration calculus.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281508)
