alternation-free 1complexity 1epistemic logic 1metric temporal logic 1model checking 1perfect recall 1
From the 1 of 2 linked papers with an AI index.
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
The paper studies model checking for an agent‑alternation‑free fragment of epistemic metric temporal logic with past, showing that the problem is EXPSPACE‑complete by combining tem…
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…