A toolchain for strategy synthesis with spatial properties - Complementary material

Software
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:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/462007