Using Strategic Logics to Reason about Agent Programs

Open in new window