Temporal Logic Motion Planning using POMDPs with Parity Objectives

Základní údaje

Originální název Temporal Logic Motion Planning using POMDPs with Parity Objectives
Autoři
Mária Svoreňová
Martin Chmelík
Kevin Leahy
Hasan Ferit Eniser
Krishnendu Chatterjee
Ivana Černá
Calin Belta

Další údaje

Citace SVOREŇOVÁ, Mária, Martin CHMELÍK, Kevin LEAHY, Hasan Ferit ENISER, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Motion Planning using POMDPs with Parity Objectives. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015. s. 233-238, 6 s. ISBN 978-1-4503-3433-4.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova control; linear temporal logic (LTL); partially observable

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

Další info