Pages that link to "Item:Q3584962"
From MaRDI portal
The following pages link to Behavioral Cartography of Timed Automata (Q3584962):
Displayed 4 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)