Pages that link to "Item:Q5275329"
From MaRDI portal
The following pages link to Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters (Q5275329):
Displaying 4 items.
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
