Cited in
(53)- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Numerical over-approximation of invariance entropy via finite abstractions
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
- SCOTS: a tool for the synthesis of symbolic controllers
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- On distributed symbolic control of interconnected systems under persistency specifications
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- BuDDy
- ODEIntegrator
- CoSyma
- PESSOA
- GRKLib
- ProbReach
- TuLiP
- ROCS
- Solace
- LTLMoP
- FAUST2
- DryVR
- UPMurphi
- BDD2Implement
- pFaces
- SENSE
- SReachTools
- TIRA
- DynIbex
- OMPL
- Control Toolbox
- AMYTISS
- dtControl
- StocHy
- FaSTrack
- PythonRobotics
- SeDuMi Interface
- pFaces
- TIRA
- Abstraction-based control synthesis using partial information
- Oink
- Symbolic control design for monotone systems with directed specifications
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- FACTEST
- ParNMPC
- pypoman
- Symbolic models for infinite networks of control systems: a compositional approach
- Towards scalable synthesis of stochastic control systems
- Synthesizing optimally resilient controllers
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Lazy abstraction-based controller synthesis
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
This page was built for software: SCOTS
