Litcius/Paper detail

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu

2021Lecture notes in computer science21 citationsDOIOpen Access PDF

Topics & Concepts

Reinforcement learningComputer scienceBounded functionCounterexampleFinite-state machineInferenceAutomatonLearning automataArtificial intelligenceTheoretical computer scienceAlgorithmMathematicsDiscrete mathematicsMathematical analysisMachine Learning and AlgorithmsFormal Methods in VerificationReinforcement Learning in Robotics
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples | Litcius