Pages that link to "Item:Q2368954"
From MaRDI portal
The following pages link to Counterexample-guided predicate abstraction of hybrid systems (Q2368954):
Displaying 15 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
