Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).

Luca Geatti, Alessandro Gianola, Nicola Gigante

Browse the full TIME paper archive.