The following pages link to (Q4953402):
Displayed 14 items.
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- The flexible, extensible and efficient toolbox of level set methods (Q618363) (← links)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Coverage-guided test generation for continuous and hybrid systems (Q1039844) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- An adaptive sparse grid semi-Lagrangian scheme for first order Hamilton-Jacobi Bellman equations (Q1955929) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)