Author:
Baier Christel,de Alfaro Luca,Forejt Vojtěch,Kwiatkowska Marta
Publisher
Springer International Publishing
Reference110 articles.
1. LNCS;P. Abdulla,2000
2. Wiley Series in Parallel Computing;M. Ajmone-Marsan,1995
3. Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, Heidelberg (2010)
4. de Alfaro, L.: Formal verification of probabilistic systems. Ph.D. thesis, Stanford University, Department of Computer Science (1997)
5. LNCS;L. Alfaro de,2001
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards a Formal Account on Negative Latency;Bridging the Gap Between AI and Reality;2023-12-14
2. Automatic Generation of Formal BIP Models for C Programs;Proceedings of the 7th International Conference on Computer Science and Application Engineering;2023-10-17
3. Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models;The Journal of Supercomputing;2023-09-23
4. Probabilistic Black-Box Checking via Active MDP Learning;ACM Transactions on Embedded Computing Systems;2023-09-09
5. Qualitative reachability for open interval Markov chains;PeerJ Computer Science;2023-08-28