Author:
Bacci Giovanni,Hansen Mikkel,Larsen Kim Guldstrand
Publisher
Springer International Publishing
Reference18 articles.
1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;M Benedikt,2013
3. Lecture Notes in Computer Science;K Chatterjee,2008
4. Lecture Notes in Computer Science;C Daws,2005
5. Lecture Notes in Computer Science;C Dehnert,2015
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Methods for Autonomous Systems;Foundations and Trends® in Systems and Control;2023
2. Scenario-based verification of uncertain parametric MDPs;International Journal on Software Tools for Technology Transfer;2022-09-14
3. Quantitative Analysis of Interval Markov Chains;Model Checking, Synthesis, and Learning;2021
4. Scenario-Based Verification of Uncertain MDPs;Tools and Algorithms for the Construction and Analysis of Systems;2020