2 papers
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…
cs.LG2026
Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
Benedikt Bollig, Matthias Függer, Thomas Nowak +1
We compare lightweight automata-based models (n-grams) with neural architectures (LSTM, Transformer) for next-activity prediction in streaming event logs. Experiments on synthetic…