Author:
Bacci Giorgio,Bacci Giovanni,Larsen Kim Guldstrand,Squillace Giuseppe,Tribastone Mirco,Tschaikowski Max,Vandin Andrea
Publisher
Springer Nature Switzerland
Reference60 articles.
1. Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)
2. Antoulas, A.C.: Approximation of Large-Scale Dynamical Systems. SIAM (2005). https://doi.org/10.1137/1.9780898718713
3. Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.: Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29(1), 3–37 (2019)
4. Bacci, G., Bacci, G., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient local computation of differential bisimulations via coupling and up-to methods. In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, 29 June–2 July 2021, pp. 1–14. IEEE (2021). https://doi.org/10.1109/LICS52264.2021.9470555
5. Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.: On the metric-based approximate minimization of Markov chains. In: ICALP. LIPIcs, vol. 80, pp. 104:1–104:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)