SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger. SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 147-164, Springer, 2019. [doi]

This author has not been identified. Look up 'Pranav Ashok' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Adrien Le Coënt' in GoogleThis author has not been identified. Look up 'Jakob Haahr Taankvist' in GoogleThis author has not been identified. Look up 'Maximilian Weininger' in Google

runs on WebDSL