Scholar
Benedikt Bollig
Google Scholar ID: dhayPjwAAAAJ
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
automata theory
logic
concurrency theory
artificial intelligence
machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,813
H-index
23
i10-index
49
Publications
20
Co-authors
0
Publications
8 items
Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity
2026
Cited
0
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
