The following pages link to (Q4417923):
Displayed 13 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Machine learning and logic: a new frontier in artificial intelligence (Q6056641) (← links)