The following pages link to Luca Geretti (Q2677087):
Displaying 8 items.
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- A computable and compositional semantics for hybrid automata (Q5146382) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)
- Constraint-driven nonlinear reachability analysis with automated tuning of tool properties (Q6643189) (← links)