The following pages link to Updatable timed automata (Q1885906):
Displayed 4 items.
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)