|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan (eds.) |
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.  |
SYNT  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayrat Khalimov 0001 |
Specification Format for Reactive Synthesis Problems. |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama |
Results and Analysis of SyGuS-Comp'15. |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez 0001, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker |
The Second Reactive Synthesis Competition (SYNTCOMP 2015). |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur |
Compositional Algorithms for Succinct Safety Games. |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang 0001, Ron van der Meyden |
The complexity of approximations for epistemic synthesis (extended abstract). |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann |
A multi-paradigm language for reactive synthesis. |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert |
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. |
SYNT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia |
Are There Good Mistakes? A Theoretical Analysis of CEGIS. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Wiklicky |
Program Synthesis and Linear Operator Semantics. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Vasumathi Raman |
Low-Effort Specification Debugging and Analysis. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Armando Solar-Lezama (eds.) |
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Swen Jacobs, Ayrat Khalimov 0001 |
Parameterized Synthesis Case Study: AMBA AHB. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrià Gascón, Ashish Tiwari 0001 |
Synthesis of a simple self-stabilizing system. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha (eds.) |
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Bohy, Véronique Bruyère, Jean-François Raskin |
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur |
AbsSynthe: abstract synthesis from succinct safety specifications. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer |
How to Handle Assumptions in Synthesis. |
SYNT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster |
Toward Synthesis of Network Updates. |
SYNT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Daniela Moldovan |
Sparse Positional Strategies for Safety Games |
SYNT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron A. Peled, Sven Schewe (eds.) |
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. |
SYNT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer |
Synthesizing Robust Systems with RATSY |
SYNT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopsha Samanta |
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs |
SYNT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivas Nedunuri, William R. Cook, Douglas R. Smith |
Theory and Techniques for Synthesizing a Family of Graph Algorithms |
SYNT |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license