Senthil Rajasekaran

Identifiers

• name variant Senthil Rajasekaran 0.60 · backfill

Papers (3)

1. Verification of Correlated Equilibria in Concurrent Reachability Games cs.GT · 2026 · author #1
2. Modeling Concurrent Multi-Agent Systems cs.GT · 2026 · author #1
3. Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems cs.GT · 2025 · author #1

Mentions

• 2503.14690 #1 · arxiv_oai · confidence 0.70 Senthil Rajasekaran

Frequent Coauthors

• Moshe Y. Vardi 3 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers