18 citations · 38 across the 14 of their papers we have counts for
7 papers · 1 filter
Incremental LTLf Synthesis
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti +2
In this paper, we study incremental LTLf synthesis -- a form of reactive synthesis where the goals are given incrementally while in execution. In other words, the protagonist agent…
Mimicking Behaviors in Separated Domains
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi +1
Devising a strategy to make a system mimicking behaviors from another system is a problem that naturally arises in many areas of Computer Science. In this work, we interpret this p…
ASP-Based Declarative Process Mining (Extended Abstract)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problem…
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
Anti Alman, Fabrizio Maria Maggi, Marco Montali +2
Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is ne…
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)
Ronen Brafman, Giuseppe De Giacomo, Fabio Patrizi
In Markov Decision Processes (MDPs), the reward obtained in a state depends on the properties of the last state and action. This state dependency makes it difficult to reward more…
Bounded Situation Calculus Action Theories
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples…