|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Distributed synthesis for regular and contextfree specifications |
Fridman, Wladimir |
2014 |
51 | 3-4 |
p. 221-260 |
artikel |
|
| 2 | Editorial: special issue on synthesis |
Peled, Doron |
2014 |
51 | 3-4 |
p. 127-128 |
artikel |
|
| 3 | Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞ |
Bulychev, Peter |
2013 |
51 | 3-4 |
p. 165-192 |
artikel |
|
| 4 | Strategy synthesis for multi-dimensional quantitative objectives |
Chatterjee, Krishnendu |
2013 |
51 | 3-4 |
p. 129-163 |
artikel |
|
| 5 | Synthesizing robust systems |
Bloem, Roderick |
2013 |
51 | 3-4 |
p. 193-220 |
artikel |
5 gevonden resultaten