-
Notifications
You must be signed in to change notification settings - Fork 0
/
bib.bib
285 lines (269 loc) · 10.1 KB
/
bib.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
@inproceedings{DBLP:conf/tacas/NeiderT16,
author = {Daniel Neider and
Ufuk Topcu},
title = {An Automaton Learning Approach to Solving Safety Games over Infinite
Graphs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems ({TACAS})},
pages = {204--221},
year = {2016},
series = {LNCS},
volume = {9636},
publisher = {Springer},
}
@inproceedings{DBLP:conf/tacas/LodingMN16,
author = {Christof L{\"{o}}ding and
P. Madhusudan and
Daniel Neider},
title = {Abstract Learning Frameworks for Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems ({TACAS})},
pages = {167--185},
year = {2016},
series = {LNCS},
volume = {9636},
publisher = {Springer},
}
@inproceedings{DBLP:conf/fm/FlanaganL01,
author = {Cormac Flanagan and
K. Rustan M. Leino},
title = {Houdini, an Annotation Assistant for ESC/Java},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity},
pages = {500--517},
year = {2001},
series = {LNCS},
volume = {2021},
publisher = {Springer},
}
@inproceedings{DBLP:conf/popl/0001NMR16,
author = {Pranav Garg and
Daniel Neider and
P. Madhusudan and
Dan Roth},
title = {Learning invariants using decision trees and implication counterexamples},
booktitle = {{ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL})},
pages = {499--512},
year = {2016},
publisher = {{ACM}},
}
@inproceedings{DBLP:conf/cav/0001LMN14,
author = {Pranav Garg and
Christof L{\"{o}}ding and
P. Madhusudan and
Daniel Neider},
title = {{ICE:} {A} Robust Framework for Learning Invariants},
booktitle = {Computer Aided Verification ({CAV})},
pages = {69--87},
year = {2014},
series = {LNCS},
volume = {8559},
publisher = {Springer},
}
@inproceedings{DBLP:conf/tacas/ChampionC0S18,
author = {Adrien Champion and
Tomoya Chiba and
Naoki Kobayashi and
Ryosuke Sato},
title = {ICE-Based Refinement Type Discovery for Higher-Order Functional Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems ({TACAS})},
pages = {365--384},
year = {2018},
series = {LNCS},
volume = {10805},
publisher = {Springer},
}
@inproceedings{DBLP:conf/pldi/ZhuMJ18,
author = {He Zhu and
Stephen Magill and
Suresh Jagannathan},
title = {A data-driven {CHC} solver},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation ({PLDI})},
pages = {707--721},
year = {2018},
publisher = {{ACM}},
}
@inproceedings{DBLP:conf/tacas/MouraB08,
author = {Leonardo Mendon{\c{c}}a de Moura and
Nikolaj Bj{\o}rner},
title = {{Z3:} An Efficient {SMT} Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
pages = {337--340},
year = {2008},
series = {Lecture Notes in Computer Science},
volume = {4963},
publisher = {Springer}
}
@article{DBLP:journals/corr/abs-1712-09418,
author = {Deepak D'Souza and
P. Ezudheen and
Pranav Garg and
P. Madhusudan and
Daniel Neider},
title = {Horn-ICE Learning for Synthesizing Invariants and Contracts},
journal = {CoRR},
year = {2017}
}
@inproceedings{DBLP:conf/tacas/ChengKLB11,
author = {Chih{-}Hong Cheng and
Alois Knoll and
Michael Luttenberger and
Christian Buckl},
title = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, ETAPS
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
pages = {258--261},
year = {2011},
series = {Lecture Notes in Computer Science},
volume = {6605},
publisher = {Springer}
}
@inproceedings{DBLP:conf/hybrid/WongpiromsarnTOXM11,
author = {Tichakorn Wongpiromsarn and
Ufuk Topcu and
Necmiye Ozay and
Huan Xu and
Richard M. Murray},
title = {TuLiP: a software toolbox for receding horizon temporal logic planning},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {313--314},
year = {2011},
publisher = {{ACM}}
}
@inproceedings{DBLP:conf/popl/BeyeneCPR14,
author = {Tewodros A. Beyene and
Swarat Chaudhuri and
Corneliu Popeea and
Andrey Rybalchenko},
title = {A constraint-based approach to solving games on infinite graphs},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {221--234},
year = {2014},
publisher = {{ACM}}
}
@proceedings{DBLP:conf/dagstuhl/2001automata,
editor = {Erich Gr{\"{a}}del and
Wolfgang Thomas and
Thomas Wilke},
title = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
[outcome of a Dagstuhl seminar, February 2001]},
series = {Lecture Notes in Computer Science},
volume = {2500},
publisher = {Springer},
year = {2002},
}
@article{DBLP:journals/apal/McNaughton93,
author = {Robert McNaughton},
title = {Infinite Games Played on Finite Graphs},
journal = {Ann. Pure Appl. Logic},
volume = {65},
number = {2},
pages = {149--184},
year = {1993},
}
@article{DBLP:journals/pacmpl/EzudheenND0M18,
author = {P. Ezudheen and
Daniel Neider and
Deepak D'Souza and
Pranav Garg and
P. Madhusudan},
title = {Horn-ICE learning for synthesizing invariants and contracts},
journal = {{PACMPL}},
volume = {2},
number = {{OOPSLA}},
pages = {131:1--131:25},
year = {2018},
}
@book{DBLP:books/mk/Quinlan93,
author = {J. Ross Quinlan},
title = {{C4.5:} Programs for Machine Learning},
publisher = {Morgan Kaufmann},
year = {1993},
isbn = {1-55860-238-0},
}
@inproceedings{DBLP:conf/aplas/Solar-Lezama09,
author = {Armando Solar{-}Lezama},
title = {The Sketching Approach to Program Synthesis},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
pages = {4--13},
year = {2009},
series = {Lecture Notes in Computer Science},
volume = {5904},
publisher = {Springer},
}
@inproceedings{DBLP:conf/icse/DwyerAC99,
author = {Matthew B. Dwyer and
George S. Avrunin and
James C. Corbett},
title = {Patterns in Property Specifications for Finite-State Verification},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999.},
pages = {411--420},
year = {1999},
publisher = {{ACM}},
}
@inproceedings{DBLP:conf/tacas/BrazdilCKT18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Jan Kret{\'{\i}}nsk{\'{y}} and
Viktor Toman},
title = {Strategy Representation by Decision Trees in Reactive Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
pages = {385--407},
year = {2018},
series = {Lecture Notes in Computer Science},
volume = {10805},
publisher = {Springer},
}
@inproceedings{DBLP:conf/birthday/KupfermanPV10,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
title = {An Automata-Theoretic Approach to Infinite-State Systems},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
pages = {202--259},
year = {2010},
volume = {6200},
publisher = {Springer},
year = {2010},
}
@inproceedings{DBLP:conf/atva/Neider11,
author = {Daniel Neider},
title = {Small Strategies for Safety Games},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
pages = {306--320},
year = {2011},
series = {Lecture Notes in Computer Science},
volume = {6996},
publisher = {Springer},
}
@inproceedings{DBLP:conf/wia/Neider10,
author = {Daniel Neider},
title = {Reachability Games on Automatic Graphs},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
pages = {222--230},
year = {2010},
series = {Lecture Notes in Computer Science},
volume = {6482},
publisher = {Springer},
}
@techreport{extended-paper,
author = {Daniel Neider and Oliver Markgraf},
title = {Learning-based Synthesis of Safety Controllers},
institution = {Max Planck Institute for Software Systems},
year = {2018},
note = {\url{https://people.mpi-sws.org/~neider/papers/learning-safety-controllers.pdf}}
}