Cited By
View all- Lavaei A(2024)Abstraction-based Synthesis of Stochastic Hybrid SystemsProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3651399(1-11)Online publication date: 14-May-2024
- Nejati APrakash Nayak SSchmuck A(2024)Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier CertificatesProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3650136(1-12)Online publication date: 14-May-2024
- Junges SÁbrahám EHensel CJansen NKatoen JQuatmann TVolk M(2024)Parameter synthesis for Markov models: covering the parameter spaceFormal Methods in System Design10.1007/s10703-023-00442-x62:1-3(181-259)Online publication date: 1-Jun-2024
- Show More Cited By