70 citations · 114 across the 20 of their papers we have counts for
3 papers · 1 filter
Efficient PAC Reinforcement Learning in Regular Decision Processes
Alessandro Ronca, Giuseppe De Giacomo
Recently regular decision processes have been proposed as a well-behaved form of non-Markov decision process. Regular decision processes are characterised by a transition function…
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models
Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Goal Recognition is the task of discerning the correct intended goal that an agent aims to achieve, given a set of possible goals, a domain model, and a sequence of observations as…
Behavioral QLTL
Giuseppe De Giacomo, Giuseppe Perelli
In this paper we introduce Behavioral QLTL, which is a ``behavioral'' variant of linear-time temporal logic on infinite traces with second-order quantifiers. Behavioral QLTL is cha…