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
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献