Author:
D’Argenio Pedro R.,Hartmanns Arnd,Legay Axel,Sedwards Sean
Publisher
Springer International Publishing
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analyzing neural network behavior through deep statistical model checking;International Journal on Software Tools for Technology Transfer;2022-12-13
2. Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
3. An Overview of Modest Models and Tools for Real Stochastic Timed Systems;Electronic Proceedings in Theoretical Computer Science;2022-03-21
4. A Modest Approach to Markov Automata;ACM Transactions on Modeling and Computer Simulation;2021-07-31
5. Tweaking the Odds in Probabilistic Timed Automata;Quantitative Evaluation of Systems;2021