| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A symbolic algorithm for lazy synthesis of eager strategies
|
Jacobs, Swen
|
|
|
57 |
1-2 |
p. 81-106
|
artikel
|
| 2 |
Automated formal synthesis of provably safe digital controllers for continuous plants
|
Abate, Alessandro
|
|
|
57 |
1-2 |
p. 223-244
|
artikel
|
| 3 |
Parameterized synthesis of self-stabilizing protocols in symmetric networks
|
Mirzaie, Nahal
|
|
|
57 |
1-2 |
p. 271-304
|
artikel
|
| 4 |
Performance heuristics for GR(1) synthesis and related algorithms
|
Firman, Elizabeth
|
|
|
57 |
1-2 |
p. 37-79
|
artikel
|
| 5 |
Practical synthesis of reactive systems from LTL specifications via parity games
|
Luttenberger, Michael
|
|
|
57 |
1-2 |
p. 3-36
|
artikel
|
| 6 |
Preface for the SYNT
|
Bloem, Roderick
|
|
|
57 |
1-2 |
p. 1
|
artikel
|
| 7 |
Programming by predicates: a formal model for interactive synthesis
|
Peleg, Hila
|
|
|
57 |
1-2 |
p. 165-193
|
artikel
|
| 8 |
Reactive synthesis with maximum realizability of linear temporal logic specifications
|
Dimitrova, Rayna
|
|
|
57 |
1-2 |
p. 107-135
|
artikel
|
| 9 |
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
|
Girard, Antoine
|
|
|
57 |
1-2 |
p. 245-269
|
artikel
|
| 10 |
Synthesis from hyperproperties
|
Finkbeiner, Bernd
|
|
|
57 |
1-2 |
p. 137-163
|
artikel
|
| 11 |
Synthesizing optimally resilient controllers
|
Neider, Daniel
|
|
|
57 |
1-2 |
p. 195-221
|
artikel
|
Tijdschrift beschrijving