Temporal Logics Over Finite Traces with Uncertainty.

Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza

Browse the full AAAI paper archive.