A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies.

Sophie Pinchinat

Browse the full ATVA paper archive.