3 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…
cs.MA2025
Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning
Zhuofan Xu, Benedikt Bollig, Matthias Függer +2
The Centralized Training with Decentralized Execution (CTDE) paradigm has gained significant attention in multi-agent reinforcement learning (MARL) and is the foundation of many re…