Login / Signup

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

Francesco BelardinelliWojciech JamrogaDamian KurpiewskiVadim MalvoneAniello Murano
Published in: IJCAI (2019)
Keyphrases