Specs.zip (74 kB)

SynTech15-tlsf

This item is shared privately

dataset

modified on 2021-03-03, 09:48

Specifications taken from SynTech15 benchmark translated to pure future-time LTL.

Keywords