Benedikt Bollig
Scholar

Benedikt Bollig

Google Scholar ID: dhayPjwAAAAJ
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
automata theorylogicconcurrency theoryartificial intelligencemachine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,813
 
H-index
23
 
i10-index
49
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
7 items
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
2026
Cited
0
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
2026
Cited
0
Verification of Neural Networks (Lecture Notes)
2026
Cited
0
Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
2026
Cited
0
Provable Coordination for LLM Agents via Message Sequence Charts
2026
Cited
0
Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning
2025
Cited
0
High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)