Synthesis of Mechanisms with Strategy Logic

Download PDF

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

Published: 01 Jan 2022, Last Modified: 30 Jul 2025ICTCS 2022EveryoneRevisionsBibTeXCC BY-SA 4.0