7 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Damian Kurpiewski, Łukasz Mikulski, Wojciech Jamroga
We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version provides a web interface and support for…