Probabilistic quantitative temporal reasoning

Paolo Terenziani, Antonella Andolina. Probabilistic quantitative temporal reasoning. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 965-970, ACM, 2017. [doi]

Abstract

Abstract is missing.