1 citations · 2 across the 8 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2026
Modeling Concurrent Multi-Agent Systems
Senthil Rajasekaran, Moshe Y. Vardi
Recent work in the field of multi-agent systems has sought to use techniques and concepts from the field of formal methods to provide rigorous theoretical analysis and guarantees o…
cs.GT2022★ 1 cited
Verification and Realizability in Finite-Horizon Multiagent Systems
Senthil Rajasekaran, Moshe Y. Vardi
The problems of \emph{verification} and \emph{realizability} are two central themes in the analysis of reactive systems. When multiagent systems are considered, these problems have…