Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Topics & Concepts
Reinforcement learningReachabilityComputer scienceMathematical optimizationAutomatonTheoretical computer scienceArtificial intelligenceMathematicsFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research