activity
20242026
most citedA Framework for Streaming Event-Log Prediction in Business Processes

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity

Benedikt Bollig, Matthias Függer, Thomas Nowak +1

We study model checking for an epistemic metric temporal logic with past, interpreted over finite Büchi automata under synchronous perfect recall. The logic is motivated by observa…