Pages that link to "Item:Q5703955"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703955):
Displaying 8 items.
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Estimating the maximum rise in temperature according to climate models using abstract interpretation (Q2283722) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- Mathematical programming based debugging (Q2861570) (← links)
- (Q3105110) (← links)
- Modeling for Verification (Q3176361) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- From Verification to Optimizations (Q5172650) (← links)