Pages that link to "Item:Q5168513"
From MaRDI portal
The following pages link to Parametric Interrupt Timed Automata (Q5168513):
Displaying 7 items.
- Robust parametric reachability for timed automata (Q846009) (← links)
- Revisiting reachability in polynomial interrupt timed automata (Q2059890) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- What’s Decidable About Parametric Timed Automata? (Q4686606) (← links)
- Integer Parameter Synthesis for Timed Automata (Q5326340) (← links)