Temporal Logics Over Finite Traces with Uncertainty

Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza. Temporal Logics Over Finite Traces with Uncertainty. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 10218-10225, AAAI Press, 2020. [doi]

Authors

Fabrizio Maria Maggi

This author has not been identified. Look up 'Fabrizio Maria Maggi' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Rafael Peñaloza

This author has not been identified. Look up 'Rafael Peñaloza' in Google