Metric Interval Temporal Logic based Reinforcement Learning with Runtime Monitoring and Self-Correction

ZhenYu Lin, John S. Baras. Metric Interval Temporal Logic based Reinforcement Learning with Runtime Monitoring and Self-Correction. In 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020. pages 5400-5406, IEEE, 2020. [doi]

Abstract

Abstract is missing.