Reachability in one-dimensional controlled polynomial dynamical systems

Margarita Korovina, Nicolai Vorobjov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationPerspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
EditorsE Clarke, I Virbitskaite, A Voronkov
Place of PublicationBerlin
PublisherSpringer
Pages251-261
Number of pages11
ISBN (Electronic)9783642297090
ISBN (Print)9783642297083
DOIs
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science
Volume7162
ISSN (Print)0302-9743

Cite this

Korovina, M., & Vorobjov, N. (2012). Reachability in one-dimensional controlled polynomial dynamical systems. In E. Clarke, I. Virbitskaite, & A. Voronkov (Eds.), Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers (pp. 251-261). (Lecture Notes in Computer Science; Vol. 7162). Berlin: Springer. https://doi.org/10.1007/978-3-642-29709-0_22