Pages that link to "Item:Q2867952"
From MaRDI portal
The following pages link to Decidability of a hybrid duration calculus (Q2867952):
Displaying 8 items.
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Automata for a decidable subset of duration calculus. (Q2737553) (← links)
- Prefix and projection onto state in duration calculus (Q2842576) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- (Q4448731) (← links)
- A mixed decision method for duration calculus (Q4528041) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Take It NP-Easy: Bounded Model Construction for Duration Calculus (Q5392294) (← links)