|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Distributed synthesis for regular and contextfree specifications |
Fridman, Wladimir |
2014 |
51 | 3-4 |
p. 221-260 |
article |
|
| 2 | Editorial: special issue on synthesis |
Peled, Doron |
2014 |
51 | 3-4 |
p. 127-128 |
article |
|
| 3 | Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞ |
Bulychev, Peter |
2013 |
51 | 3-4 |
p. 165-192 |
article |
|
| 4 | Strategy synthesis for multi-dimensional quantitative objectives |
Chatterjee, Krishnendu |
2013 |
51 | 3-4 |
p. 129-163 |
article |
|
| 5 | Synthesizing robust systems |
Bloem, Roderick |
2013 |
51 | 3-4 |
p. 193-220 |
article |
5 results found