Author:
Kwiatkowska Marta,Norman Gethin,Sproston Jeremy
Publisher
Springer Berlin Heidelberg
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PAC statistical model checking of mean payoff in discrete- and continuous-time MDP;Formal Methods in System Design;2024-08-17
2. Optimized Smart Sampling;Bridging the Gap Between AI and Reality;2023-12-14
3. Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer;GLOBECOM 2023 - 2023 IEEE Global Communications Conference;2023-12-04
4. Formal modeling of industrial wireless applications;Energy Systems;2023-07-01
5. Bisection Value Iteration;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12