Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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. .


Husien, Idress and Schewe, Sven ORCID: 0000-0002-9093-9518
(2016) Program Generation Using Simulated Annealing and Model Checking. .

This list was generated on Sun Nov 10 12:19:02 2019 GMT.