Alex Sansfaçon-Buchanan

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Spatio Temporal

Top Venues

Publications

Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Verifying linear temporal specifications of constant-rate multi-mode systems. CoRR (2023)
Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Verifying linear temporal specifications of constant-rate multi-mode systems. LICS (2023)