Parametric Temporal Logic for "Model Measuring".

Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled

Browse the full ICALP paper archive.