Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Probably approximately correct learning in stochastic games with temporal logic specifications
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Incremental quantitative verification for Markov decision processes
Stochastic Primal-Dual Methods and Sample Complexity of Reinforcement Learning
Principled Option Learning in Markov Decision Processes
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
Stochastic Model Checking
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
A Modest Approach to Checking Probabilistic Timed Automata
Acting Optimally in Partially Observable Stochastic Domains
Probabilistic Logic Learning
Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming
Improved Probabilistic Inference as a General Learning Mechanism with Action Video Games
The Temporal Logic of Reactive and Concurrent Systems
LOGICS FOR RESOURCE-BOUNDED AGENTS
Fast Convergence of Regularized Learning in Games
Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization
Reduction Techniques for Model Checking Markov Decision Processes
Contextual Decision Processes with Low Bellman Rank are PAC-Learnable
Near-Optimal Reinforcement Learning in Polynomial Time
Algorithmic Aspects of Inverse Problems Using Generative Models
Skeletal and dentoalveolar changes after miniscrew-assisted rapid palatal expansion in young adults: A cone-beam computed tomography study
Detecting Ambiguities in Requirements Documents Using Inspections
A propositional modal logic of time intervals
An Analysis of Model-Based Interval Estimation for Markov Decision Processes