Synthesis of Mechanisms with Strategy Logic.

Munyque Mittelmann Bastien Maubert Aniello Murano Laurent Perrussel

Published in: ICTCS (2022)

Keyphrases

logic programming
neural network
decision making
search algorithm
search strategy
texture synthesis
logic synthesis
knowledge base
multi agent systems
building blocks
modal logic
logical framework
defeasible logic
optimization strategies
delay insensitive