MightyPPL: Model Checking MITL with Past and Pnueli Modalities.

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya

Browse the full TACAS paper archive.