Data di Pubblicazione:
2023
Abstract:
This is the complementary material for our paper ``A Toolchain for Strategy Synthesis with Spatial Properties'' accepted for publication at the Journal of Software Tools and Technology Transfer. This repository contains a permanent snapshot of
https://github.com/contractautomataproject/CATLib_PngConverter/tree/ec0938043146b008bbbcb4ed3ec79c06dd2e47d6
Tipologia CRIS:
05.11 Software
Keywords:
Voxlogica; Contract automata; Strategy synthesis; Spatial model checking
Elenco autori:
Bussi, Laura; TER BEEK, MAURICE HENRI; Ciancia, Vincenzo; Basile, Davide
Link alla scheda completa: