TY  - RPRT
TI  - The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
AU  - Swen Jacobs
AU  - Roderick Bloem
AU  - Maximilien Colange
AU  - Peter Faymonville
AU  - Bernd Finkbeiner
AU  - Ayrat Khalimov
AU  - Felix Klein
AU  - Michael Luttenberger
AU  - Philipp J. Meyer
AU  - Thibaud Michaud
AU  - Mouhammad Sakr
AU  - Salomon Sickert
AU  - Leander Tentrup
AU  - Adam Walker
PY  - 2019
UR  - https://arxiv.org/abs/1904.07736
ID  - 1904.07736
ER  -