Up a level |
Number of items: 2.
Husien, Idress, Berthier, Nicolas ORCID: 0000-0002-0933-8193 and Schewe, Sven ORCID: 0000-0002-9093-9518
(2017)
A Hot Method for Synthesising Cool Controllers.
In: ISSTA '17: International Symposium on Software Testing and Analysis, 2017-7-13 - 2017-7-14, Santa Barbara, California, United States.
Husien, Idress and Schewe, Sven ORCID: 0000-0002-9093-9518
(2016)
Program Generation Using Simulated Annealing and Model Checking.
.