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

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)