Authors:
- Remco Abraham
- Tom van Dijk
- Salomon Sickert
BibTeX entry:
@inproceedings{SYNT21,
author = {Remco Abraham and Tom van Dijk and Salomon Sickert},
title = {Almost-Symbolic Synthesis via Delta2-Normalisation for Linear Temporal Logic},
year = {2021}
}