Shield Synthesis for Reinforcement Learning
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
Topics & Concepts
Reinforcement learningComputer scienceProbabilistic logicShieldsArtificial intelligenceAutomatonShieldPetrologyGeologyFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Engineering Research