Reachability in one-dimensional controlled polynomial dynamical systems

Margarita Korovina; Nicolai Vorobjov

doi:10.1007/978-3-642-29709-0_22

Reachability in one-dimensional controlled polynomial dynamical systems

Margarita Korovina, Nicolai Vorobjov

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Original language	English
Title of host publication	Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Editors	E Clarke, I Virbitskaite, A Voronkov
Place of Publication	Berlin
Publisher	Springer
Pages	251-261
Number of pages	11
ISBN (Electronic)	9783642297090
ISBN (Print)	9783642297083
DOIs	https://doi.org/10.1007/978-3-642-29709-0_22
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science
Volume	7162
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-29709-0_22

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). Springer. https://doi.org/10.1007/978-3-642-29709-0_22

Reachability in one-dimensional controlled polynomial dynamical systems. / Korovina, Margarita; Vorobjov, Nicolai.
Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. ed. / E Clarke; I Virbitskaite; A Voronkov. Berlin: Springer, 2012. p. 251-261 (Lecture Notes in Computer Science; Vol. 7162).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

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. Lecture Notes in Computer Science, vol. 7162, Springer, Berlin, pp. 251-261. https://doi.org/10.1007/978-3-642-29709-0_22

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

Korovina, Margarita ; Vorobjov, Nicolai. / Reachability in one-dimensional controlled polynomial dynamical systems. Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. editor / E Clarke ; I Virbitskaite ; A Voronkov. Berlin : Springer, 2012. pp. 251-261 (Lecture Notes in Computer Science).

@inproceedings{2de6c7c793f7441ab92805486818cc9a,

title = "Reachability in one-dimensional controlled polynomial dynamical systems",

author = "Margarita Korovina and Nicolai Vorobjov",

year = "2012",

doi = "10.1007/978-3-642-29709-0_22",

language = "English",

isbn = "9783642297083",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "251--261",

editor = "E Clarke and I Virbitskaite and A Voronkov",

booktitle = "Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers",

}

TY - GEN

T1 - Reachability in one-dimensional controlled polynomial dynamical systems

AU - Korovina, Margarita

AU - Vorobjov, Nicolai

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84862091272&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/978-3-642-29709-0_22

U2 - 10.1007/978-3-642-29709-0_22

DO - 10.1007/978-3-642-29709-0_22

M3 - Chapter in a published conference proceeding

SN - 9783642297083

T3 - Lecture Notes in Computer Science

SP - 251

EP - 261

BT - Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

A2 - Clarke, E

A2 - Virbitskaite, I

A2 - Voronkov, A

PB - Springer

CY - Berlin

ER -

Reachability in one-dimensional controlled polynomial dynamical systems

Publication series

Access to Document

Other files and links

Cite this