Login / Signup
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.
Georg Hofferek
Ashutosh Gupta
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
controller synthesis
autonomic computing systems
control algorithm