Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Overview of Modest Models and Tools for Real Stochastic Timed Systems;Electronic Proceedings in Theoretical Computer Science;2022-03-21
2. The Modest State of Learning, Sampling, and Verifying Strategies;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
3. A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking;Quantitative Evaluation of Systems;2021