Author:
Bianco Andrea,de Alfaro Luca
Publisher
Defense Technical Information Center
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Stochastic Best-Effort Strategies for Borel Goals;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Automatic verification of concurrent stochastic systems;Formal Methods in System Design;2021-01-22
3. Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints;Tools and Algorithms for the Construction and Analysis of Systems;2020
4. Symbolic checking of Fuzzy CTL on Fuzzy Program Graph;Acta Informatica;2018-02-03
5. Quantitative Modeling and Verification of VANET;Lecture Notes in Electrical Engineering;2013-12-06