Correct-by-synthesis reinforcement learning with temporal logic constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Min Wen, Rüdiger Ehlers, Ufuk Topcu. Correct-by-synthesis reinforcement learning with temporal logic constraints. In 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015. pages 4983-4990, IEEE, 2015. [doi]

This author has not been identified. Look up 'Min Wen' in GoogleThis author has not been identified. Look up 'Rüdiger Ehlers' in GoogleThis author has not been identified. Look up 'Ufuk Topcu' in Google

runs on WebDSL