%0 Journal Article %1 journals/corr/abs-1904-07736 %A Jacobs, Swen %A Bloem, Roderick %A Colange, Maximilien %A Faymonville, Peter %A Finkbeiner, Bernd %A Khalimov, Ayrat %A Klein, Felix %A Luttenberger, Michael %A Meyer, Philipp J. %A Michaud, Thibaud %A Sakr, Mouhammad %A Sickert, Salomon %A Tentrup, Leander %A Walker, Adam %D 2019 %J CoRR %K dblp %T The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. %U http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-07736 %V abs/1904.07736

@article{journals/corr/abs-1904-07736, added-at = {2021-04-19T00:00:00.000+0200}, author = {Jacobs, Swen and Bloem, Roderick and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Luttenberger, Michael and Meyer, Philipp J. and Michaud, Thibaud and Sakr, Mouhammad and Sickert, Salomon and Tentrup, Leander and Walker, Adam}, biburl = {https://www.bibsonomy.org/bibtex/26ff07de0f11fea6c98c93c02538a997d/dblp}, ee = {http://arxiv.org/abs/1904.07736}, interhash = {1743f5a87b1f368cd4a22582b75c06b4}, intrahash = {6ff07de0f11fea6c98c93c02538a997d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:21:45.000+0200}, title = {The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-07736}, volume = {abs/1904.07736}, year = 2019 }