The following publications are possibly variants of this publication:
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systemsIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. hybrid 2013: 293-302 [doi]
- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid SystemsSaurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry. hybrid 2006: 49-63 [doi]
- StocHy - automated verification and synthesis of stochastic processes: poster abstractNathalie Cauchi, Alessandro Abate. hybrid 2019: 258-259 [doi]
- Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical ModelsAlec Edwards, Andrea Peruffo, Alessandro Abate. hybrid 2024: [doi]