In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under assumption that agents ("players") system choose strategies for acting form game theoretic equilibrium. Preferences are typically defined by assuming act pursuit of individual goals, specified as formulae. To date, verification has been studied using non-cooperative solution...
