Published August 7, 2023
| Version v1
Software
Open
A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material
Authors/Creators
- 1. ISTI CNR Pisa
Description
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