TY  - RPRT
TI  - Verifying linear temporal specifications of constant-rate multi-mode systems
AU  - Michael Blondin
AU  - Philip Offtermatt
AU  - Alex Sansfaçon-Buchanan
PY  - 2023
UR  - https://arxiv.org/abs/2304.13816
ID  - 2304.13816
ER  -