Pages that link to "Item:Q5758051"
From MaRDI portal
The following pages link to Model-Checking One-Clock Priced Timed Automata (Q5758051):
Displaying 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
