LTL control in uncertain environments with probabilistic satisfaction guarantees

Xu Chu Dennis Ding, Stephen L Smith, Calin Belta, and Daniela Rus . 2011. LTL control in uncertain environments with probabilistic satisfaction guarantees. IFAC Proceedings Volumes Vol. 44, 1 (2011), 3515--3520.

2011