LTL control in uncertain environments with probabilistic satisfaction guarantees
Belta and D
Stephen L S
Inferring and Obeying Norms in Temporal Logic