Author:
Bohnenkamp H.,van der Stok P.,Hermanns H.,Vaandrager F.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LOADHoC: Towards the Automatic Local Distribution of Computation Using Existing IoT Devices;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
2. Lower Bounds for Possibly Divergent Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-04-06
3. Symblicit exploration and elimination for probabilistic model checking;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
4. Structured Synthesis for Probabilistic Systems;Lecture Notes in Computer Science;2019
5. Are Parametric Markov Chains Monotonic?;Automated Technology for Verification and Analysis;2019