Publisher
Springer International Publishing
Reference42 articles.
1. de Alfaro, L.: The verification of probabilistic systems under memoryless partial-information policies is hard. Technical report, DTIC Document (1999)
2. Lecture Notes in Computer Science;R Alur,1991
3. Andel, T.R., Yasinsac, A.: On the credibility of MANET simulations. IEEE Comput. 39(7), 48–54 (2006)
4. Avritzer, A., Carnevali, L., Ghasemieh, H., Happe, L., Haverkort, B.R., Koziolek, A., Menasché, D.S., Remke, A., Sarvestani, S.S., Vicario, E.: Survivability evaluation of gas, water and electricity infrastructures. Electr. Notes Theor. Comput. Sci. 310, 5–25 (2015)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. 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
3. Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction;ACM Transactions on Modeling and Computer Simulation;2023-10-26
4. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks;Theoretical Aspects of Software Engineering;2023
5. Learning optimal decisions for stochastic hybrid systems;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20