Probabilistic Temporal Logic for Reasoning about Bounded Policies.

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan

Browse the full IJCAI paper archive.