Model Checking Linear Temporal Properties on Polyhedral Systems.

Massimo Benerecetti, Marco Faella, Fabio Mogavero

Browse the full TIME paper archive.