Author:
Publication: Artificial Intelligence
Verification of multi-agent systems with public actions against strategy logic
Editorial Board