A Hot Method for Synthesising Cool Controllers



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. .

[img] Text
spin17main-mainid35-p-999d6c1-32247M-final.pdf - Submitted Version

Download (851kB)
Item Type: Conference or Workshop Item
Uncontrolled Keywords: General Search Techniques, Symbolic Model-checking, Discrete Controller Synthesis
Depositing User: Symplectic Admin
Date Deposited: 12 Jul 2017 08:28
Last Modified: 03 Jul 2019 07:11
DOI: 10.1145/3092282.3092299
Related URLs:
URI: http://livrepository.liverpool.ac.uk/id/eprint/3008410
Repository Staff Access