
SpaceEx
 Referenced in 74 articles
[sw10939]
 Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... sets to compute an overapproximation of the reachable states. The algorithm improves over previous ... bound. In addition, we propose an improved approximation model, which drastically improves the accuracy...

Breach
 Referenced in 24 articles
[sw20822]
 latter is used to perform approximate reachability analysis and parameter synthesis. A major novel feature...

MATISSE
 Referenced in 27 articles
[sw06311]
 free MATLAB toolbox for safety verification and reachable set computation of large dimensional, constrained linear ... framework of abstracting linear systems using approximate bisimulation relations [1,2,3,4]. Contrary ... system and of its abstraction. Approximate bisimulation based abstraction is particularly useful for the safety ... checking whether the intersection of the reachable set of the system with an unsafe...

NNV
 Referenced in 3 articles
[sw32539]
 crux of NNV is a collection of reachability algorithms that make use of a variety ... exact (sound and complete) and overapproximate (sound) reachability algorithms for verifying safety and robustness ... networks, NNV provides exact and overapproximate reachability analysis schemes for linear plant models ... have nonlinear plant models, NNV supports overapproximate analysis by combining the star set analysis...

CSHORe
 Referenced in 6 articles
[sw13319]
 information gathered from an approximate forward reachability analysis to guide its backward search. Moreover...

Graphs
 Referenced in 107 articles
[sw12277]
 networks. We consider the pointtopoint (approximate) shortestpath query problem, which ... tradeoffs, query processing on spatial networks, and reachability queries; and theoretical computer scientists analyze distance...

SPeeDI
 Referenced in 8 articles
[sw00896]
 artificial and natural systems, and as an approximation to complex continuous systems. A very important ... behavior of hybrid systems is reachability. It is wellknown that for most nontrivial subclasses ... given final set of states is reachable, they will terminate, otherwise they may fail ... major drawback of setpropagation, reachset approximation procedures is that they pay little attention...

DryVR
 Referenced in 2 articles
[sw28120]
 output it generates overapproximations of the reachable states and returns “Safe” if the system...

TIRA
 Referenced in 1 article
[sw30629]
 TIRA: toolbox for interval reachability analysis. This paper presents TIRA, a Matlab library gathering several ... computation of interval overapproximations of the reachable sets for both continuous and discretetime ... overapproximations. The current implementation of TIRA contains four reachability methods covering wide classes...

CoSyma
 Referenced in 11 articles
[sw20124]
 sampling parameters used to define an approximation of the statespace on which discrete abstractions ... enforces a given safety or timebounded reachability specification. We illustrate by examples the synthesized...

Pint
 Referenced in 1 article
[sw35163]
 discrete networks. Pint implements formal approximations of transient reachabilityrelated properties, including mutation prediction...

MARCIE
 Referenced in 8 articles
[sw12882]
 MARCIE  model checking and reachability analysis done efficiently. MARCIE is a tool for the analysis ... Diagrams. They are complemented by simulative and approximative engines to allow for quantitative reasoning...

BaRC
 Referenced in 3 articles
[sw40037]
 BaRC: Backward Reachability Curriculum for Robotic Reinforcement Learning. Modelfree Reinforcement Learning (RL) offers ... physical priors in the form of an approximate system dynamics model to design a curriculum ... modelfree policy optimization algorithm. Our Backward Reachability Curriculum (BaRC) begins policy training from states...

SReachTools
 Referenced in 6 articles
[sw30627]
 reachavoid and viability problems. The stochastic reachability of a target tube problem maximizes ... transforms, to efficiently compute over and underapproximations of the stochastic reach set. SReachTools...

ProbNetKAT
 Referenced in 2 articles
[sw21703]
 show how to use the semantics to approximate the behavior of arbitrary ProbNetKAT programs using ... different routing schemes and reasoning probabilistically about reachability in a network...

SAHATool
 Referenced in 1 article
[sw10315]
 focus on semialgebraic hybrid automata the reachability problem is semidecidable. However, high computational ... efficiently solved. It is necessary to introduce approximations to reduce the number of variables, since...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

CUTE
 Referenced in 65 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...