Report copyright - STV: Model Checking for Strategies under Imperfect Information · STV is aimed at verification of strategic abilities in multi-agent systems, and synthesis of strategies that guarantee
Please pass captcha verification before submit form