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