scientific article; zbMATH DE number 1956581
From MaRDI portal
Publication:4417923
zbMath1031.68078MaRDI QIDQ4417923
Michael Theobald, Ansgar Fehnker, Olaf Stursberg, Zhi Han, Bruce H. Krogh, Edmund M. Clarke
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190192.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Syntax and consistent equation semantics of hybrid Chi ⋮ Counterexample-guided predicate abstraction of hybrid systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Machine learning and logic: a new frontier in artificial intelligence ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Abstractions for hybrid systems ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Safe \& robust reachability analysis of hybrid systems
This page was built for publication:
