Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim G. ; Mardare, Radu ; Tang, Qiyi ; van Breugel, Franck
30th International Conference on Concurrency Theory (CONCUR 2019)
Abstract Dependency Graphs and Their Application to Model Checking
Enevoldsen S., Guldstrand Larsen K., Srba J. (2019) In: Vojnar T., Zhang L. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science, vol 11427. Springer, Cham
Uppaal Stratego
David A., Jensen P.G., Larsen K.G., Mikučionis M., Taankvist J.H. (2015). In: Baier C., Tinelli C. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2015. Lecture Notes in Computer Science, vol 9035. Springer, Berlin, Heidelberg
20 Years of Real Real Time Model Validation
Guldstrand Larsen K., Lorber F., Nielsen B. (2018). In: Havelund K., Peleska J., Roscoe B., de Vink E. (eds) Formal Methods. FM 2018. Lecture Notes in Computer Science, vol 10951. Springer, Cham
P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid
Jiri Srba, Marc Tom Thorgersen (2018). In: CoNEXT '18: Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, December 2018, Pages 217–227
Online Learning of Controllers with Application to Floor Heating
Larsen K.G., Mikučionis M., Muñiz M., Srba J., Taankvist J.H. (2016). In: Chechik M., Raskin JF. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, vol 9636. Springer, Berlin, Heidelberg
AMIDST: toolbox for scalable probabilistic machine learning
Andres Masegosa, Ana M. Martinez, Darío Ramos-López, Rafael Cabanas de Paz, Antonio Salmerón, Helge Langseth, Thomas Dyhre Nielsen, Anders Læsø Madsen (2019). In: Knowledge-Based Systems, Volume 163, 1 January 2019, Pages 595-597
