Least-violating control strategy synthesis with safety rules

Základní údaje

Originální název Least-violating control strategy synthesis with safety rules
Autoři
Jana Tůmová
Gavin Hall
Sertac Karaman
Emilio Frazzoli
Daniela Rus

Další údaje

Citace TŮMOVÁ, Jana, Gavin HALL, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Least-violating control strategy synthesis with safety rules. In Proceedings of the 16th international conference on Hybrid systems: computation and control. New York, NY, USA: ACM, 2013. s. 1-10, 10 s. ISBN 978-1-4503-1567-8. doi:10.1145/2461328.2461330.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova control strategy synthesis; temporal logic; formal methods; least-violating planning; robot path planning

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info