• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 44 matches

• 2017
• 
  Roderick Bloem, Sven Schewe, Ayrat Khalimov:
  CTL* synthesis via LTL synthesis. SYNT@CAV 2017: 4-22
• 
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
  Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV 2017: 23-43
• 
  Hadi Ravanbakhsh, Sriram Sankaranarayanan:
  A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. SYNT@CAV 2017: 44-61
• 
  Andrew Reynolds, Cesare Tinelli:
  SyGuS Techniques in the Core of an SMT Solver. SYNT@CAV 2017: 81-96
• 
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
  SyGuS-Comp 2017: Results and Analysis. SYNT@CAV 2017: 97-115
• 
  Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup:
  The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017: 116-143
• 
  Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert:
  Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV 2017: 62-80
• 
  Dana Fisman, Swen Jacobs:
  Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents]
• 2016
• 
  Maaz Bin Safeer Ahmad, Alvin Cheung:
  Leveraging Parallel Data Processing Frameworks with Verified Lifting. SYNT@CAV 2016: 67-83
• 
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
  SyGuS-Comp 2016: Results and Analysis. SYNT@CAV 2016: 178-202
• 
  Sarah E. Chasins, Julie L. Newcomb:
  Using SyGuS to Synthesize Reactive Motion Plans. SYNT@CAV 2016: 3-20
• 
  Werner Damm, Bernd Finkbeiner, Astrid Rakow:
  What You Really Need To Know About Your Neighbor. SYNT@CAV 2016: 21-34
• 
  Grigory Fedyukovich, Rastislav Bodík:
  Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. SYNT@CAV 2016: 55-66
• 
  Swen Jacobs, Felix Klein, Sebastian Schirmer:
  A High-Level LTL Synthesis Format: TLSF v1.1. SYNT@CAV 2016: 112-132
• 
  Swen Jacobs, Roderick Bloem:
  The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV 2016: 133-148
• 
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, 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: 149-177
• 
  Manos Koukoutos, Etienne Kneuss, Viktor Kuncak:
  An Update on Deductive Synthesis and Repair in the Leon Tool. SYNT@CAV 2016: 100-111
• 
  Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
  Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV 2016: 35-54
• 
  Leonid Ryzhyk, Adam Walker:
  Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. SYNT@CAV 2016: 84-99
• 
  Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
  Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
• 
  Ruzica Piskac, Rayna Dimitrova:
  Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents]
• 2015
• 
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
  Results and Analysis of SyGuS-Comp'15. SYNT 2015: 3-26
• 
  Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur:
  Compositional Algorithms for Succinct Safety Games. SYNT 2015: 98-111
• 
  Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann:
  A multi-paradigm language for reactive synthesis. SYNT 2015: 73-97
• 
  Xiaowei Huang, Ron van der Meyden:
  The complexity of approximations for epistemic synthesis (extended abstract). SYNT 2015: 120-137
• 
  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: 27-57
• 
  Ayrat Khalimov:
  Specification Format for Reactive Synthesis Problems. SYNT 2015: 112-119
• 
  Shahar Maoz, Jan Oliver Ringert:
  Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT 2015: 58-72
• 2014
• 
  Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer:
  How to Handle Assumptions in Synthesis. SYNT 2014: 34-50
• 
  Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
  Parameterized Synthesis Case Study: AMBA AHB. SYNT 2014: 68-83

skipping 14 more matches