Reachability in Dynamical Systems with Rounding

Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland. Reachability in Dynamical Systems with Rounding. In Nitin Saxena 0001, Sunil Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). Volume 182 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

@inproceedings{Baier0JKLOPPW20,
  title = {Reachability in Dynamical Systems with Rounding},
  author = {Christel Baier and Florian Funke 0002 and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and Amaury Pouly and David Purser and Markus A. Whiteland},
  year = {2020},
  doi = {10.4230/LIPIcs.FSTTCS.2020.36},
  url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.36},
  researchr = {https://researchr.org/publication/Baier0JKLOPPW20},
  cites = {0},
  citedby = {0},
  booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)},
  editor = {Nitin Saxena 0001 and Sunil Simon},
  volume = {182},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-174-0},
}