Bounded Reachability for Temporal Logic over Constraint Systems.

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

Browse the full TIME paper archive.