Pages that link to "Item:Q2248097"
From MaRDI portal
The following pages link to Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097):
Displaying 5 items.
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test (Q6160909) (← links)
- On generalized two dimensional linear hybrid dynamical systems (Q6587042) (← links)