Open AccessSafe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Author(s) -
Nathan Fulton,
André Platzer
Publication year - 2018
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v32i1.12107
Subject(s) - reinforcement learning , computer science , fidelity , flexibility (engineering) , state space , control (management) , artificial intelligence , machine learning , telecommunications , statistics , mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom