Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohammadhosein Hasanbeig, Yiannis Kantaros, A. Abate, Daniel Kroening, George J. Pappas, I. Lee. Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 5338-5343, IEEE, 2019. [doi]

This author has not been identified. Look up 'Mohammadhosein Hasanbeig' in GoogleThis author has not been identified. Look up 'Yiannis Kantaros' in GoogleThis author has not been identified. Look up 'A. Abate' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'George J. Pappas' in GoogleThis author has not been identified. Look up 'I. Lee' in Google

runs on WebDSL