SYNT

Keyphrases

Publications

volume 202, 2016

Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. SYNT 202 (2016)

2015

Ayrat Khalimov
Specification Format for Reactive Synthesis Problems. SYNT (2015)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Results and Analysis of SyGuS-Comp'15. SYNT (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Compositional Algorithms for Succinct Safety Games. SYNT (2015)
Xiaowei Huang, Ron van der Meyden
The complexity of approximations for epistemic synthesis (extended abstract). SYNT (2015)
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
A multi-paradigm language for reactive synthesis. SYNT (2015)
Shahar Maoz, Jan Oliver Ringert
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT (2015)

2014

volume 157, 2014

Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. SYNT 157 (2014)

volume 142, 2014

Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. SYNT 142 (2014)

2013

Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
Toward Synthesis of Network Updates. SYNT (2013)

2012

volume 84, 2012

Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. SYNT 84 (2012)