From the 1 of 6 linked papers with an AI index.
6 papers
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…
Asymptotic Subspace Consensus in Dynamic Networks
Matthias Függer, Thomas Nowak
We introduce the problem of asymptotic subspace consensus, which requires the outputs of processes to converge onto a common subspace while remaining inside the convex hull of init…
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…
A Framework for Streaming Event-Log Prediction in Business Processes
Benedikt Bollig, Matthias Függer, Thomas Nowak
We present a Python-based framework for event-log prediction in streaming mode, enabling predictions while data is being generated by a business process. The framework allows for e…
Majority consensus thresholds in competitive Lotka--Volterra populations
Matthias Függer, Thomas Nowak, Joel Rybicki
One of the key challenges in synthetic biology is devising robust signaling primitives for engineered microbial consortia. In such systems, a fundamental signal amplification probl…