12 citations · 12 across the 5 of their papers we have counts for
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 $…