Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

6th SYNT@CAV 2017: Heidelberg, Germany

> 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
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-10224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10224
Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-10636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10636
Roderick Bloem, Sven Schewe, Ayrat Khalimov:
CTL* synthesis via LTL synthesis. 4-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-10637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10637
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Symbolic vs. Bounded Synthesis for Petri Games. 23-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-10639
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10639
Hadi Ravanbakhsh, Sriram Sankaranarayanan:
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. 44-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1712-01103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-01103
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert:
Performance Heuristics for GR(1) Synthesis and Related Algorithms. 62-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-10641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10641
Andrew Reynolds, Cesare Tinelli:
SyGuS Techniques in the Core of an SMT Solver. 81-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11438
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2017: Results and Analysis. 97-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11439
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11439
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. 116-143

a service of

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.