Author:
Kwiatkowska Marta,Norman Gethin,Parker David
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. R. Alur and T. Henzinger. Reactive modules. In Proc. LICS’96, 1996.
2. J. Aspnes and M. Herlihy. Fast randomized consensus using shared memory. Journal of Algorithms, 15(1), 1990.
3. I. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic decision diagrams and their applications. In Proc. ICCAD’93, 1993.
4. C. Baier. On algorithmic verification methods for probabilistic systems. Habilitation thesis, Universität Mannheim, 1998.
5. C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. In Proc. ICALP’97, 1997.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Stochastic Analysis of the Gasper Protocol;2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops);2024-03-11
2. Resilience of Hybrid Casper Under Varying Values of Parameters;Distributed Ledger Technologies: Research and Practice;2023-03-14
3. Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems;Lecture Notes in Computer Science;2022
4. On-the-Fly Model Checking with Neural MCTS;Lecture Notes in Computer Science;2022
5. SMC4PEP: Stochastic Model Checking of Product Engineering Processes;Fundamental Approaches to Software Engineering;2022