swMATH1980MaRDI QIDQ14528FDOQ14528
Author name not available (Why is that?)
Official website: http://hysat.informatik.uni-oldenburg.de/
Cited In (40)
- DyverseRBT
- SMT-based scenario verification for hybrid systems
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
- Title not available (Why is that?)
- Quantitative Model Checking for a Controller Design
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Automating Verification of Cooperation, Control, and Design in Traffic Applications
- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Rigorous discretization of hybrid systems using process calculi
- A compositional modelling and analysis framework for stochastic hybrid systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Generating invariants for non-linear hybrid systems
- MetiTarski: An automatic theorem prover for real-valued special functions
- mctau
- RunLim
- MathSAT
- AutoMOTGen
- SpaceEx
- BACH
- HSPICE
- HyDI
- Computing branching distances with quantitative games
- CyPhySim
- dReach
- HySon
- STRONG
- HyLAA
- ABsolver
- Quantifier-free encoding of invariants for hybrid systems
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Exact Incremental Analysis of Timed Automata with an SMT-Solver
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Verifying global start-up for a Möbius ring-oscillator
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
This page was built for software: HySAT
