70 citations · 114 across the 20 of their papers we have counts for
3 papers · 1 filter
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning
Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
We study temporally extended goals expressed in Pure-Past LTL (PPLTL). PPLTL is particularly interesting for expressing goals since it allows to express sophisticated tasks as in t…
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
Our work aims at developing reinforcement learning algorithms that do not rely on the Markov assumption. We consider the class of Non-Markov Decision Processes where histories can…
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning
Ramon Fraga Pereira, André G. Pereira, Frederico Messa +1
Fully Observable Non-Deterministic (FOND) planning models uncertainty through actions with non-deterministic effects. Existing FOND planning algorithms are effective and employ a w…