145 citations · 360 across the 54 of their papers we have counts for
10 papers · 1 filter
Reactive Synthesis for DECLARE via symbolic automata
Luca Geatti, Marco Montali, Andrey Rivkin
Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating control…
Correctness Notions for Petri Nets with Identifiers
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali +1
A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri…
Monitoring Arithmetic Temporal Properties on Finite Traces
Paolo Felli, Marco Montali, Fabio Patrizi +1
We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by considering at once the…
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Marco Montali +1
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Dat…
Conformance Checking with Uncertainty via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain l…
What Can Database Query Processing Do for Instance-Spanning Constraints?
Heba Aamer, Marco Montali, Jan Van den Bussche
In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or sev…