Optimal Control of MDPs with Temporal Logic Constraints

Základní údaje

Originální název Optimal Control of MDPs with Temporal Logic Constraints
Autoři
Mária Svoreňová
Ivana Černá
Calin Belta

Další údaje

Citace SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Control of MDPs with Temporal Logic Constraints. In Proceedings of The 52nd IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2013. s. 3938-3943, 6 s. ISBN 978-1-4673-5714-2. doi:10.1109/CDC.2013.6760491.
Originální jazyk angličtina
Obor Informatika
WWW
Druh Článek ve sborníku
Klíčová slova automatic synthesis Markov decision processes LTL

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

Další info