497 citations · 2.1k across the 297 of their papers we have counts for
3 papers · 2 filters
Robust Finite-State Controllers for Uncertain POMDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +3
Uncertain partially observable Markov decision processes (uPOMDPs) allow the probabilistic transition and observation functions of standard POMDPs to belong to a so-called uncertai…
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks
Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu +3
In continuing tasks, average-reward reinforcement learning may be a more appropriate problem formulation than the more common discounted reward formulation. As usual, learning an o…
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Zhe Xu, Yuxin Chen, Ufuk Topcu
Machine teaching is an algorithmic framework for teaching a target hypothesis via a sequence of examples or demonstrations. We investigate machine teaching for temporal logic formu…