Author:
Hartmanns Arnd,Hermanns Holger
Publisher
Springer Berlin Heidelberg
Cited by
99 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Formally Verified Maximal End Component Decomposition for MDPs;Lecture Notes in Computer Science;2024-09-11
2. Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems;2024 13th Mediterranean Conference on Embedded Computing (MECO);2024-06-11
3. Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks;ACM Transactions on Modeling and Computer Simulation;2024-05-25
4. RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
5. The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024