|
|
|
|
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.  |
SYNT@CAV  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001 |
CTL* synthesis via LTL synthesis. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Swen Jacobs (eds.) |
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. |
SYNT@CAV |
2017 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
Symbolic vs. Bounded Synthesis for Petri Games. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama |
SyGuS-Comp 2017: Results and Analysis. |
SYNT@CAV |
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. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Reynolds 0001, Cesare Tinelli |
SyGuS Techniques in the Core of an SMT Solver. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Ryzhyk, Adam Walker |
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. |
SYNT@CAV |
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. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama |
SyGuS-Comp 2016: Results and Analysis. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaz Bin Safeer Ahmad, Alvin Cheung |
Leveraging Parallel Data Processing Frameworks with Verified Lifting. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah E. Chasins, Julie L. Newcomb |
Using SyGuS to Synthesize Reactive Motion Plans. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Roderick Bloem |
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
Symbolic BDD and ADD Algorithms for Energy Games. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Felix Klein 0001, Sebastian Schirmer |
A High-Level LTL Synthesis Format: TLSF v1.1. |
SYNT@CAV |
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. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigory Fedyukovich, Rastislav Bodík |
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm, Bernd Finkbeiner, Astrid Rakow |
What You Really Need To Know About Your Neighbor. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manos Koukoutos, Etienne Kneuss, Viktor Kuncak |
An Update on Deductive Synthesis and Repair in the Leon Tool. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license