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