Minimum-violation LTL Planning with Conflicting Specifications

Základní údaje

Originální název Minimum-violation LTL Planning with Conflicting Specifications
Autoři
Jana Tůmová
Luis Reyes Castro
Sertac Karaman
Emilio Frazzoli
Daniela Rus

Další údaje

Citace TŮMOVÁ, Jana, Luis REYES CASTRO, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Minimum-violation LTL Planning with Conflicting Specifications. In Proceedings of the American Control Conference. New York, (NY, USA): IEEE, 2013. s. 200-205, 6 s. ISBN 978-1-4799-0177-7.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova formal methods; robotics; linear temporal logic; control strategy synthesis

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

Další info