Author of the publication

Probabilistic certification of pan-tilt-zoom camera surveillance systems.

, , , and . CDC/ECC, page 2064-2069. IEEE, (2011)

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.

 

Other publications of authors with the same name

Multi-objective optimal control of stochastic hybrid systems., and . CDC, page 1474-1479. IEEE, (2012)MPDopt: A versatile toolbox for adjoint-based model predictive control of smooth and switched nonlinear dynamic systems., and . CDC, page 4785-4790. IEEE, (2007)Probabilistic certification of pan-tilt-zoom camera surveillance systems., , , and . CDC/ECC, page 2064-2069. IEEE, (2011)A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras., , , and . CDC/ECC, page 1411-1416. IEEE, (2011)A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances., , , , and . CDC, page 8612-8617. IEEE, (2009)A stochastic reachability approach to emergency building evacuation., , and . CDC, page 5722-5727. IEEE, (2013)Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications., , and . ECC, page 2777-2782. IEEE, (2013)Approximate dynamic programming via sum of squares programming., , , , , and . ECC, page 191-197. IEEE, (2013)On the connections between PCTL and dynamic programming., , , and . HSCC, page 253-262. ACM, (2010)Local Identification of Piecewise Deterministic Models of Genetic Networks., , , and . HSCC, volume 5469 of Lecture Notes in Computer Science, page 105-119. Springer, (2009)