scientific article; zbMATH DE number 1956582
From MaRDI portal
Publication:4417924
Recommendations
Cited in
(17)- Limit cycle analysis of a class of hybrid gene regulatory networks
- Abstraction based verification of stability of polyhedral switched systems
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions for hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
- scientific article; zbMATH DE number 1955878 (Why is no real title available?)
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1979541 (Why is no real title available?)
- scientific article; zbMATH DE number 2085314 (Why is no real title available?)
- Competent predicate abstraction in model checking
- Formal Methods in Computer-Aided Design
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
- Stability analysis of planar probabilistic piecewise constant derivative systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Change-of-bases abstractions for non-linear hybrid systems
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 Q4417924)
