By the same authors

Assured Reinforcement Learning with Formally Verified Abstract Policies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)



Publication details

Title of host publication9th International Conference on Agents and Artificial Intelligence (ICAART)
DateAccepted/In press - 2016
DatePublished (current) - 2017
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations