Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications

Proactive Planning through Active Policy Inference in Stochastic Environments

Nonparametric Inverse Reinforcement Learning and Approximate Optimal Control with Temporal Logic Tasks