RSOLVER

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