Pages that link to "Item:Q5166701"
From MaRDI portal
The following pages link to Merge and Conquer: State Merging in Parametric Timed Automata (Q5166701):
Displayed 4 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata (Q2044207) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)