scientific article; zbMATH DE number 1956581
From MaRDI portal
Publication:4417923
Recommendations
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions of hybrid systems for verification
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1956582
- Language-Based Abstraction Refinement for Hybrid System Verification
- Hybrid Systems: Computation and Control
- A compositional approach to the verification of hybrid systems
- scientific article; zbMATH DE number 2086997
Cited in
(27)- Safe \& robust reachability analysis of hybrid systems
- Extracting counterexamples induced by safety violation in linear hybrid systems
- A compositional modelling and analysis framework for stochastic hybrid systems
- Hybridization based CEGAR for hybrid automata with affine dynamics
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Syntax and consistent equation semantics of hybrid Chi
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions for hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis
- Formal modelling, analysis and verification of hybrid systems
- Automatic Verification of Hybrid Systems with Large Discrete State Space
- Safety verification for probabilistic hybrid systems
- scientific article; zbMATH DE number 1956582 (Why is no real title available?)
- Abstractions of hybrid systems for verification
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
- Language-Based Abstraction Refinement for Hybrid System Verification
- Formal Methods in Computer-Aided Design
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Machine learning and logic: a new frontier in artificial intelligence
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417923)
