Author:
Cubuktepe Murat,Jansen Nils,Junges Sebastian,Katoen Joost-Pieter,Topcu Ufuk
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interval Markov Decision Processes with Continuous Action-Spaces;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09
2. $$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees;Formal Methods;2023
3. Efficient Sensitivity Analysis for Parametric Robust Markov Chains;Computer Aided Verification;2023
4. A Practitioner’s Guide to MDP Model Checking Algorithms;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Safe Planning under Epistemic Uncertainty and Partial Information;Electronic Proceedings in Theoretical Computer Science;2022-07-14