The following pages link to PHAVer (Q16309):
Displaying 50 items.
- Reachability Analysis of Non-linear Planar Autonomous Systems (Q2894564) (← links)
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638) (← links)
- Reachable set computation for uncertain time-varying linear systems (Q2986717) (← links)
- Reachability games for linear hybrid systems (Q2986753) (← links)
- Lyapunov abstractions for inevitability of hybrid systems (Q2986758) (← links)
- HYST (Q2988924) (← links)
- On Reachability for Hybrid Automata over Bounded Time (Q3012937) (← links)
- Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation (Q3066089) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Composing Stability Proofs for Hybrid Systems (Q3172858) (← links)
- Efficient Bounded Reachability Computation for Rectangular Automata (Q3172871) (← links)
- Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (Q3172874) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- On Timed Models of Gene Networks (Q3510833) (← links)
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata (Q3510848) (← links)
- Temporal Logic Verification Using Simulation (Q3511234) (← links)
- On Timed Simulation Relations for Hybrid Systems and Compositionality (Q3511236) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Automatic Verification of Hybrid Systems with Large Discrete State Space (Q3522915) (← links)
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata (Q3523144) (← links)
- Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems (Q3612960) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Foundations of a Compositional Interchange Format for Hybrid Systems (Q3613003) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Reachability Analysis of Hybrid Systems Using Support Functions (Q3636880) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (Q3656877) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- Formal System Verification (Q4610434) (← links)
- The Structure of Differential Invariants and Differential Cut Elimination (Q4899116) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- Using Redundant Constraints for Refinement (Q4931281) (← links)
- Composing Reachability Analyses of Hybrid Systems for Safety and Stability (Q4931283) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
