1 paper · 1 filter
Dominik Wagner, Leon Witzman, Luke Ong
Recurrence objectives, where a target region must be visited infinitely often, are a fundamental class of specifications for Markov decision processes (MDPs) and form the core of $…