@inproceedings{BLMOP21,
  author    = {Michael Blondin and Tim Leys and Filip Mazowiecki and
                  Philip Offtermatt and Guillermo A. P{\'{e}}rez},
  title     = {Continuous One-Counter Automata},
  booktitle = {Proc.\ $\text{36}^\text{th}$ Annual {ACM/IEEE}
                  Symposium on Logic in Computer Science ({LICS})},
  pages     = {1--13},
  year      = {2021},
  doi       = {10.1109/LICS52264.2021.9470525}
}