1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…