|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert |
Performance Heuristics for GR(1) Synthesis and Related Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 62-80, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001 |
CTL* synthesis via LTL synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 4-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman, Swen Jacobs (eds.) |
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Symbolic vs. Bounded Synthesis for Petri Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 23-43, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama |
SyGuS-Comp 2017: Results and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 97-115, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov 0001, Felix Klein 0001, Thibaud Michaud, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur, Leander Tentrup |
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 116-143, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Cesare Tinelli |
SyGuS Techniques in the Core of an SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 81-96, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 44-61, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Ryzhyk, Adam Walker |
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 84-99, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Rayna Dimitrova (eds.) |
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama |
SyGuS-Comp 2016: Results and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 178-202, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maaz Bin Safeer Ahmad, Alvin Cheung |
Leveraging Parallel Data Processing Frameworks with Verified Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 67-83, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sarah E. Chasins, Julie L. Newcomb |
Using SyGuS to Synthesize Reactive Motion Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 3-20, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Roderick Bloem |
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 133-148, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
Symbolic BDD and ADD Algorithms for Energy Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 35-54, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Felix Klein 0001, Sebastian Schirmer |
A High-Level LTL Synthesis Format: TLSF v1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 112-132, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov 0001, Felix Klein 0001, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez 0001, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker |
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 149-177, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Rastislav Bodík |
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 55-66, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Finkbeiner, Astrid Rakow |
What You Really Need To Know About Your Neighbor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 21-34, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manos Koukoutos, Etienne Kneuss, Viktor Kuncak |
An Update on Deductive Synthesis and Repair in the Leon Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., pp. 100-111, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|