Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Majid Zamani. Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 98-107, IEEE, 2020. [doi]

Authors

Abolfazl Lavaei

This author has not been identified. Look up 'Abolfazl Lavaei' in Google

Fabio Somenzi

This author has not been identified. Look up 'Fabio Somenzi' in Google

Sadegh Soudjani

This author has not been identified. Look up 'Sadegh Soudjani' in Google

Ashutosh Trivedi 0001

This author has not been identified. Look up 'Ashutosh Trivedi 0001' in Google

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google