Senthil Rajasekaran

According to our database, Senthil Rajasekaran authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verification of Correlated Equilibria in Concurrent Reachability Games.

Senthil Rajasekaran, Jean-François Raskin, Moshe Y. Vardi

CoRR, April, 2026

Modeling Concurrent Multi-Agent Systems.

Senthil Rajasekaran, Moshe Y. Vardi

CoRR, February, 2026

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems.

Senthil Rajasekaran, Moshe Y. Vardi

Log. Methods Comput. Sci., 2026

2023

Multi-Agent Systems with Quantitative Satisficing Goals.

Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Verification and Realizability in Finite-Horizon Multiagent Systems.

Senthil Rajasekaran, Moshe Y. Vardi

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Nash Equilibria in Finite-Horizon Multiagent Concurrent Games.

Senthil Rajasekaran, Moshe Y. Vardi

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021