4 papers
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…
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…
Provable Coordination for LLM Agents via Message Sequence Charts
Benedikt Bollig, Matthias Függer, Thomas Nowak
Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect…
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…