default search action

combined dblp search
author search
venue search
publication search

ask others

5th SYNT@CAV 2016: Toronto, Canada

> Home > Conferences and Workshops > SYNT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/PiskacD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PiskacD16
Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChasinsN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChasinsN16
Sarah E. Chasins, Julie L. Newcomb:
Using SyGuS to Synthesize Reactive Motion Plans. 3-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DammFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DammFR16
Werner Damm, Bernd Finkbeiner, Astrid Rakow:
What You Really Need To Know About Your Neighbor. 21-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MaozPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MaozPR16
Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Symbolic BDD and ADD Algorithms for Energy Games. 35-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FedyukovichB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FedyukovichB16
Grigory Fedyukovich, Rastislav Bodík:
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. 55-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AhmadC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AhmadC16
Maaz Bin Safeer Ahmad, Alvin Cheung:
Leveraging Parallel Data Processing Frameworks with Verified Lifting. 67-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RyzhykW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RyzhykW16
Leonid Ryzhyk, Adam Walker:
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. 84-99
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KoukoutosKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KoukoutosKK16
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak:
An Update on Deductive Synthesis and Repair in the Leon Tool. 100-111
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Jacobs016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jacobs016
Swen Jacobs, Felix Klein, Sebastian Schirmer:
A High-Level LTL Synthesis Format: TLSF v1.1. 112-132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsB16
Swen Jacobs, Roderick Bloem:
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. 133-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsBBK0KKLNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16
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. 149-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AlurFSS16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlurFSS16a
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2016: Results and Analysis. 178-202

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.