Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel
(Sociedad Argentina de Informática, 2020)
In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility ...