Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

Základní údaje

Originální název Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Autoři
Mária Svoreňová
Jan Křetínský
Martin Chmelík
Krishnendu Chatterjee
Ivana Černá
Calin Belta

Další údaje

Citace SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015. s. 259-268, 10 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); linear stochastic system; games

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

Další info