From the 2 of 4 linked papers with an AI index.
4 papers
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…
Provable Coordination for LLM Agents via Message Sequence Charts
Benedikt Bollig, Matthias Függer, Thomas Nowak
The paper presents a domain-specific language based on message sequence charts to specify and verify coordination among large language model agents, providing deadlock‑free local p…
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…
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…