Idress Husien

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Controller Synthesis

Simulated Annealing

Pspace Complete

Top Venues

Publications

Idress Husien, Sven Schewe, Nicolas Berthier
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA (2017)
Idress Husien, Nicolas Berthier, Sven Schewe
A hot method for synthesising cool controllers. SPIN (2017)
Idress Husien, Sven Schewe
Program Generation Using Simulated Annealing and Model Checking. SEFM (2016)