Safety and Liveness on Finite Words.

Luca Geatti, Stefano Pessotto, Stefano Tonetta

Browse the full TIME paper archive.