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]

Authors

Christel Baier

This author has not been identified. Look up 'Christel Baier' in Google

Florian Funke 0002

This author has not been identified. Look up 'Florian Funke 0002' in Google

Simon Jantsch

This author has not been identified. Look up 'Simon Jantsch' in Google

Toghrul Karimov

This author has not been identified. Look up 'Toghrul Karimov' in Google

Engel Lefaucheux

This author has not been identified. Look up 'Engel Lefaucheux' in Google

Joël Ouaknine

This author has not been identified. Look up 'Joël Ouaknine' in Google

Amaury Pouly

This author has not been identified. Look up 'Amaury Pouly' in Google

David Purser

This author has not been identified. Look up 'David Purser' in Google

Markus A. Whiteland

This author has not been identified. Look up 'Markus A. Whiteland' in Google