• SpaceEx

  • Referenced in 74 articles [sw10939]
  • Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... sets to compute an over-approximation 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 over-approximate (sound) reachability algorithms for verifying safety and robustness ... networks, NNV provides exact and over-approximate reachability analysis schemes for linear plant models ... have nonlinear plant models, NNV supports over-approximate analysis by combining the star set analysis...
  • C-SHORe

  • 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 point-to-point (approximate) shortest-path 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 well-known that for most nontrivial subclasses ... given final set of states is reachable, they will terminate, otherwise they may fail ... major drawback of set-propagation, reach-set approximation procedures is that they pay little attention...
  • DryVR

  • Referenced in 2 articles [sw28120]
  • output it generates over-approximations 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 over-approximations of the reachable sets for both continuous- and discrete-time ... over-approximations. 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 state-space on which discrete abstractions ... enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized...
  • Pint

  • Referenced in 1 article [sw35163]
  • discrete networks. Pint implements formal approximations of transient reachability-related 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. Model-free Reinforcement Learning (RL) offers ... physical priors in the form of an approximate system dynamics model to design a curriculum ... model-free policy optimization algorithm. Our Backward Reachability Curriculum (BaRC) begins policy training from states...
  • SReachTools

  • Referenced in 6 articles [sw30627]
  • reach-avoid and viability problems. The stochastic reachability of a target tube problem maximizes ... transforms, to efficiently compute over- and under-approximations 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...
  • SAHA-Tool

  • Referenced in 1 article [sw10315]
  • focus on semi-algebraic hybrid automata the reachability problem is semi-decidable. 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 matrix-optimization 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...