2023
Software
Unknown
A toolchain for strategy synthesis with spatial properties - Complementary material
Basile D., Ter Beek M. H., 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 M. H. and Bussi L. and Ciancia V.},
doi = {10.5281/zenodo.8220527},
year = {2023}
}
0000-0002-7196-6609