Published August 7, 2023 | Version v1
Software Open

A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material

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

Files

readme.pdf

Files (20.6 MB)

Name Size Download all
md5:a79f758d384a5bfe5fa8e9dd8475a9a6
7.6 MB Download
md5:f054463f71cd0e9e522c0128dab0415a
270.5 kB Preview Download
md5:0c82d46e776d89e53117843fa1d0047b
12.8 MB Preview Download
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy