1 paper
S. Krishna, Shankaranarayanan Krishna, Kaushik Mallik +1
We consider two-player GR(1) games on graphs, where the system player Eve must satisfy \[ \Box\Diamond A_1\land\cdots\land\Box\Diamond A_m \;\implies\; \Box\Diamond G_1\land\cdots\…