Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
From MaRDI portal
Recommendations
- Towards efficient exact synthesis for linear hybrid systems
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Efficiency through uncertainty
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Formal abstraction and synthesis of parametric stochastic processes
- On the controller synthesis for linear hybrid systems
- Efficient simulation of general stochastic hybrid systems
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
Cited in
(9)- Automated verification and synthesis of stochastic hybrid systems: a survey
- Strategy synthesis for partially-known switched stochastic systems
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
- Interval Markov Decision Processes with Continuous Action-Spaces
- A direct symbolic algorithm for solving stochastic Rabin games
- Scalable control synthesis for stochastic systems via structural imdp abstractions
- Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
- Formal abstraction and synthesis of parametric stochastic processes
This page was built for publication: Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5853981)
