Pages that link to "Item:Q2216124"
From MaRDI portal
The following pages link to PPLite: zero-overhead encoding of NNC polyhedra (Q2216124):
Displaying 4 items.
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Efficient convex zone merging in parametric timed automata (Q2112120) (← links)
- Not necessarily closed convex polyhedra and the double description method (Q2576576) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)