An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect informationOpen Website

Francesco Belardinelli, Angelo Ferrando, Vadim Malvone

Mar 2023 (modified: 16 Apr 2023)Artif. Intell. 2023Readers: Everyone
0 Replies