4 citations · 4 across the 3 of their papers we have counts for
3 papers
Formal Foundations of Agentic Business Process Management
Giuseppe De Giacomo, Timotheus Kampik, Lukas Kirchdorfer +2
Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execu…
LTLf Synthesis Under Unreliable Input
Christian Hagemeier, Giuseppe de Giacomo, Moshe Y. Vardi
We study the problem of realizing strategies for an LTLf goal specification while ensuring that at least an LTLf backup specification is satisfied in case of unreliability of certa…
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi +1
Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-th…