2023
Software
Metadata Only Access
A toolchain for strategy synthesis with spatial properties - Complementary material
Basile D, Ter Beek Mh, Bussi L, Ciancia V
Voxlogica Contract automata Strategy synthesis Spatial model checking
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
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:485397,
title = {A toolchain for strategy synthesis with spatial properties - Complementary material},
author = {Basile D and Ter Beek Mh and Bussi L and Ciancia V},
doi = {10.5281/zenodo.8220527},
year = {2023}
}
0000-0002-7196-6609