Author:
Reijsbergen Daniël,de Boer Pieter-Tjerk,Scheinhardt Werner,Haverkort Boudewijn
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking;AIxIA 2021 – Advances in Artificial Intelligence;2022
2. A Logical Framework for Reasoning About Local and Global Properties of Collective Systems;Quantitative Evaluation of Systems;2022
3. The Modest State of Learning, Sampling, and Verifying Strategies;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. 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
5. A Modest Approach to Markov Automata;ACM Transactions on Modeling and Computer Simulation;2021-07-31