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

DOI10.1109/LICS56636.2023.10175721MaRDI QIDQ6851690zbMATH OpenFDO

Authors Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175721

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(1)

• Verifying linear temporal properties on polyhedral systems: decidability and symbolic algorithms

This page was built for publication: Verifying linear temporal specifications of constant-rate multi-mode systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851690)