Pages that link to "Item:Q868026"
From MaRDI portal
The following pages link to Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026):
Displaying 5 items.
- Hitting time and dimension in axiom A systems, generic interval exchanges and an application to Birkoff sums (Q2494505) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
- Take It NP-Easy: Bounded Model Construction for Duration Calculus (Q5392294) (← links)