Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

Základní údaje

Originální název Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
Autoři
Mária Svoreňová
Ivana Černá
Calin Belta

Další údaje

Citace SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control, IEEE Control Systems Society, 2015, roč. 60, č. 6, s. 1528-1541. ISSN 0018-9286. doi:10.1109/TAC.2014.2381451.
Originální jazyk angličtina
Obor Informatika
Druh Článek v odborném periodiku
Klíčová slova optimal control; linear temporal logic (LTL)

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

Další info