1 citations · 1 across the 6 of their papers we have counts for
3 papers · 1 filter
Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version)
Sarah Winkler, Toryn Klassen, Sheila McIlraith +1
When safety-critical systems are developed from a known internal specification, their correctness can be established by model checking. In the frequent case where such a specificat…
Monitoring Data-aware Temporal Properties (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable…
Detecting Dynamic Relationships in Object-Centric Event Logs
Alessandro Gianola, Zeeshan Hameed, Marco Montali +3
Object-centric process mining examines how processes interact with multiple co-evolving objects, and has gained great interest in recent years. However, object-centric event logs (…