1 citations · 1 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2025
To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
Anjo Seidel, Sarah Winkler, Alessandro Gianola +2
Object-centric process mining investigates the intertwined behavior of multiple objects in business processes. From object-centric event logs, object-centric Petri nets (OCPN) can…