Funder
European Innovation Council
Engineering and Physical Sciences Research Council
European Research Council
Deutsche Forschungsgemeinschaft
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference58 articles.
1. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games;Svoreňová;Nonlinear Anal. Hybrid Syst.,2017
2. Robust dynamic programming for temporal logic control of stochastic systems;Haesaert;IEEE Trans. Automat. Control,2020
3. Specification-guided verification and abstraction refinement of mixed monotone stochastic systems;Dutreix;IEEE Trans. Automat. Control,2020
4. R. Majumdar, K. Mallik, S. Soudjani, Symbolic controller synthesis for Büchi specifications on stochastic systems, in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, pp. 1–11.
5. Abstraction-based synthesis for stochastic systems with omega-regular objectives;Dutreix;Nonlinear Anal. Hybrid Syst.,2022