Affiliation:
1. Technische Universität Dresden, Germany
Funder
European Social Fund
Deutsche Forschungsgemeinschaft
Graduiertenkolleg 1763 (QuantLA)
Seventh Framework Programme
cfAED (center for Advancing Electronics Dresden)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bisection Value Iteration;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
2. Timed Games with Bounded Window Parity Objectives;Lecture Notes in Computer Science;2022
3. The 10,000 Facets of MDP Model Checking;Lecture Notes in Computer Science;2019
4. Bisimulations, logics, and trace distributions for stochastic systems with rewards;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
5. Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes;Computer Aided Verification;2017