Pages that link to "Item:Q2097770"
From MaRDI portal
The following pages link to Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770):
Displaying 14 items.
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- Stochastic hybrid systems: a powerful framework for complex, large scale applications (Q629645) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- Event-triggered polynomial input-to-state stability in mean square for pantograph stochastic systems (Q6170957) (← links)
- Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks (Q6537337) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Verification of quantum systems using barrier certificates (Q6546471) (← links)
- Data-driven abstraction-based control synthesis (Q6551651) (← links)
