The following pages link to Flow* (Q31984):
Displayed 36 items.
- Barrier certificates revisited (Q507352) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Generalized property-directed reachability for hybrid systems (Q784143) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- Reachability analysis for high-index linear differential algebraic equations (Q2176703) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- (Q3384178) (← links)
- Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586) (← links)
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems (Q4559514) (← links)
- Multi-agent Safety Verification Using Symmetry Transformations (Q5039508) (← links)
- JuliaReach (Q5239217) (← links)
- TIRA (Q5239242) (← links)
- Sherlock - A tool for verification of neural network feedback systems (Q5239249) (← links)
- Forward Inner-Approximated Reachability of Non-Linear Continuous Systems (Q5275312) (← links)
- Sapo (Q5275315) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)