( en | de | ru )

 

Disambiguation of "Vladimerou, Vladimeros"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Bounded Discrete Horizon Hybrid Automata.

, , , and . IEEE Trans. Automat. Contr., 57 (6): 1445-1455 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Vladimerou, Vladimeros
add a person with the name Vladimerou, Vladimeros
 

Other publications of authors with the same name

Lane Change Detection Using V2V Safety Messages., , , and . ITSC, page 3967-3973. IEEE, (2018)Development of a vehicle network control testbed., , , and . ACC, page 3028-3033. IEEE, (2002)Preceding Vehicle State Prediction Using V2V Safety Messages., , and . VNC, page 1-7. IEEE, (2019)A Decidable Class of Planar Linear Hybrid Systems., , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 401-414. Springer, (2008)V2V and on-board sensor fusion for road geometry estimation., , , , and . ITSC, page 1-8. IEEE, (2017)Verifying Tolerant Systems Using Polynomial Approximations., , , and . RTSS, page 181-190. IEEE Computer Society, (2009)Verification of Bounded Discrete Horizon Hybrid Automata., , , and . IEEE Trans. Automat. Contr., 57 (6): 1445-1455 (2012)Distributed control of network vehicles., , , and . CDC, page 1237-1238. IEEE, (2002)STORMED Hybrid Systems., , , and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 136-147. Springer, (2008)Wireless Control with Bluetooth., and . Handbook of Networked and Embedded Control Systems, Birkhäuser, (2005)