%0 Conference Paper %1 journals/corr/JacobsBBK0KKLNP16 %A Jacobs, Swen %A Bloem, Roderick %A Brenguier, Romain %A Khalimov, Ayrat %A Klein, Felix %A Könighofer, Robert %A Kreber, Jens %A Legg, Alexander %A Narodytska, Nina %A Pérez, Guillermo A. %A Raskin, Jean-François %A Ryzhyk, Leonid %A Sankur, Ocan %A Seidl, Martina %A Tentrup, Leander %A Walker, Adam %B SYNT@CAV %D 2016 %E Piskac, Ruzica %E Dimitrova, Rayna %K dblp %P 149-177 %T The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#JacobsBBK0KKLNP16 %V 229

@inproceedings{journals/corr/JacobsBBK0KKLNP16, added-at = {2022-01-03T00:00:00.000+0100}, author = {Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Khalimov, Ayrat and Klein, Felix and Könighofer, Robert and Kreber, Jens and Legg, Alexander and Narodytska, Nina and Pérez, Guillermo A. and Raskin, Jean-François and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam}, biburl = {https://www.bibsonomy.org/bibtex/273e1557d81fe3677bfee80caff006218/dblp}, booktitle = {SYNT@CAV}, crossref = {journals/corr/PiskacD16}, editor = {Piskac, Ruzica and Dimitrova, Rayna}, ee = {http://arxiv.org/abs/1609.00507}, interhash = {9b08f0b4b451531ae47bf7f20a889177}, intrahash = {73e1557d81fe3677bfee80caff006218}, keywords = {dblp}, pages = {149-177}, series = {EPTCS}, timestamp = {2024-04-10T12:33:53.000+0200}, title = {The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#JacobsBBK0KKLNP16}, volume = 229, year = 2016 }