Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
From MaRDI portal
(Redirected from Publication:710668)
Recommendations
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- scientific article; zbMATH DE number 1696496
Cites work
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 425394 (Why is no real title available?)
- scientific article; zbMATH DE number 3128787 (Why is no real title available?)
- scientific article; zbMATH DE number 3901778 (Why is no real title available?)
- scientific article; zbMATH DE number 3438157 (Why is no real title available?)
- scientific article; zbMATH DE number 1956626 (Why is no real title available?)
- scientific article; zbMATH DE number 2086516 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- APPSSAT: Approximate probabilistic planning using stochastic satisfiability
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Games against nature
- Handbook of constraint programming.
- Heterogeneous constraint solving
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Interval arithmetic: from principles to implementation
- Parallel SAT solving in bounded model checking
- Predicative programming Part I
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Stochastic Boolean satisfiability
- Stochastic Hybrid Systems
- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Stochastic hybrid systems. Theory and safety critical applications.
- Stochastic stability properties of jump linear systems
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Toward a general theory of stochastic hybrid systems
- Verification, Model Checking, and Abstract Interpretation
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Verifying industrial hybrid systems with \textsc{MathSAT}
Cited in
(8)- Challenges in Constraint-Based Analysis of Hybrid Systems
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Verification and control of probabilistic rectangular hybrid automata
- Formal modelling, analysis and verification of hybrid systems
- Stochastic differential dynamic logic for stochastic hybrid programs
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- scientific article; zbMATH DE number 1760148 (Why is no real title available?)
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
This page was built for publication: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710668)
