Verifying linear temporal specifications of constant-rate multi-mode systems.

Michael Blondin, Philip Offtermatt, Alex Sansfaon-Buchanan

Browse the full LICS paper archive.