@inproceedings{almagor_et_al:LIPIcs:2019:10245,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: linear dynamical systems, Orbit Problem, first order theory of the reals},
    Author = {Almagor, Shaull and Ouaknine, Jo{\"e}l and Worrell, James},
    BookTitle = {36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)},
    Editor = {Niedermeier, Rolf and Paul, Christophe},
    File = {The Semialgebraic Orbit Problem - LIPIcs-STACS-2019-6 (0) - a - a - a.pdf},
    ISBN = {978-3-95977-100-9},
    ISSN = {1868-8969},
    Pages = {6:1--6:15},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{The Semialgebraic Orbit Problem}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10245},
    Volume = {126},
    Year = {2019},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2019/10245},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2019.6},
    date-added = {2019-07-19 18:28:54 +0100},
    date-modified = {2019-07-19 18:28:54 +0100},
    doi = {10.4230/LIPIcs.STACS.2019.6}
}

@inproceedings{almagor_et_al:LIPIcs:2019:10245, Address = {Dagstuhl, Germany}, Annote = {Keywords: linear dynamical systems, Orbit Problem, first order theory of the reals}, Author = {Almagor, Shaull and Ouaknine, Jo{\"e}l and Worrell, James}, BookTitle = {36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)}, Editor = {Niedermeier, Rolf and Paul, Christophe}, File = {The Semialgebraic Orbit Problem - LIPIcs-STACS-2019-6 (0) - a - a - a.pdf}, ISBN = {978-3-95977-100-9}, ISSN = {1868-8969}, Pages = {6:1--6:15}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{The Semialgebraic Orbit Problem}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10245}, Volume = {126}, Year = {2019}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2019/10245}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2019.6}, date-added = {2019-07-19 18:28:54 +0100}, date-modified = {2019-07-19 18:28:54 +0100}, doi = {10.4230/LIPIcs.STACS.2019.6} }