Login / Signup
A toolchain for strategy synthesis with spatial properties.
Davide Basile
Maurice H. ter Beek
Laura Bussi
Vincenzo Ciancia
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
real world
genetic algorithm
social networks
wide range
optimal strategy
program synthesis