7 citations · 7 across the 1 of their papers we have counts for
1 paper
Julian Gutierrez, Szymon Kowara, Sarit Kraus +2
In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents ("players") in the system choos…