Reachability in Dynamical Systems with Rounding

Baier, Christel; Funke, Florian; Jantsch, Simon; Karimov, Toghrul; Lefaucheux, Engel; Ouaknine, Joël; Pouly, Amaury; Purser, David; Whiteland, Markus

doi:10.4230/LIPIcs.FSTTCS.2020.36

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_3316432_3

DetailsSummary

Released

Conference Paper

Reachability in Dynamical Systems with Rounding

MPS-Authors

/persons/resource/persons260459

Karimov, Toghrul
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons245917

Lefaucheux, Engel
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons217847

Ouaknine, Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260461

Purser, David
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260463

Whiteland, Markus
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://drops.dagstuhl.de/opus/volltexte/2020/13277/
(Publisher version)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Baier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., et al. (2020). Reachability in Dynamical Systems with Rounding. In N. Saxena, & S. Simon (Eds.), 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2020.36.

Cite as: https://hdl.handle.net/21.11116/0000-0008-6A83-D

Abstract

There is no abstract available