research
∙
06/28/2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
We give a relational and a weakest precondition semantics for "knowledge...
research
∙
04/19/2022
Model Checking Strategic Abilities in Information-sharing Systems
We introduce a subclass of concurrent game structures (CGS) with imperfe...
research
∙
03/11/2019