LTL control in uncertain environments with probabilistic satisfaction guarantees
Belta and D
Xu Chu D
Inferring and Obeying Norms in Temporal Logic