The Temporal Logic Sugar.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

Browse the full CAV paper archive.