  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 assume-guarantee verification of multi-agent
systems.

Multiagent Systems