@inproceedings{BOS23,
  author    = {Michael Blondin and Philip Offtermatt and Alex
                  Sansfa\c{c}on-Buchanan},
  title     = {Verifying linear temporal specifications of
                  constant-rate multi-mode systems},
  booktitle = {Proc.\ $\text{38}^\text{th}$ {ACM}/{IEEE} Symposium on
                  Logic in Computer Science ({LICS})},
  pages     = {},
  year      = {2023},
  doi       = {}
}