swMATH4334MaRDI QIDQ16513FDOQ16513
Author name not available (Why is that?)
Official website: http://rsolver.sourceforge.net/
Cited In (only showing first 100 items - show all)
- On the complexity of quantified linear systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Hybrid Systems: Computation and Control
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Implicit definitions with differential equations for KeYmaera X (system description)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Title not available (Why is that?)
- Formal modelling, analysis and verification of hybrid systems
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Real World Verification
- On quantified linear implications
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Fuzzy answer set computation via satisfiability modulo theories
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- MetiTarski: An automatic theorem prover for real-valued special functions
- On a decision procedure for quantified linear programs
- Polynomial function intervals for floating-point software verification
- Aligator
- MetiTarski
- Syntax and consistent equation semantics of hybrid Chi
- QEPCAD
- Sostools
- HySAT
- Scicos
- KeYmaera
- HyTech
- PHAVer
- SMV
- PDE2D
- REDLOG
- RealPaver
- Benchmarks
- LMIRank
- ScicosLab
- TRICE
- PENLAB
- VERICOMP
- Ariadne
- dReal
- mctau
- HSolver
- AQCS
- PolyPaver
- NLTOOLBOX
- AutoMOTGen
- d/dt
- SAHA-Tool
- Ellipsoidal Toolbox
- HARE
- RAMAS
- SpaceEx
- BACH
- HybridSal
- PVSio-web
- Manip
- VNODE
- TopDeg
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- iSat
- ConstructibleSetTools
- ParametricSystemTools
- Contractor programming
- C2e2
- LySHA
- Breach
- ABsolver
- Mathpert
- HyPro
- JuliaReach
- fasp2smt
- aaflib
- PyInterval
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- A complexity perspective on entailment of parameterized linear constraints
- Hybrid automata, reachability, and systems biology
- Efficient handling of universally quantified inequalities
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Quasi-decidability of a fragment of the first-order theory of real numbers
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Learning safe neural network controllers with barrier certificates
- Barrier certificates revisited
- Analyzing restricted fragments of the theory of linear arithmetic
- Solving existentially quantified constraints with one equality and arbitrarily many inequalities
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Computational complexity of determining which statements about causality hold in different space-time models
- Synthesizing invariant barrier certificates via difference-of-convex programming
- Exact safety verification of hybrid systems using sums-of-squares representation
- Quantified set inversion algorithm with applications to control
- A semi-algebraic approach for asymptotic stability analysis
- Efficient solving of quantified inequality constraints over the real numbers
- Safety verification for probabilistic hybrid systems
- Relating syntactic and semantic perturbations of hybrid automata
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Property Driven Three-Valued Model Checking on Hybrid Automata
- Control barrier functions for stochastic systems
- Algorithm 875
- Satisfiability of systems of equations of real analytic functions is quasi-decidable
This page was built for software: RSOLVER
