A Hot Method for Synthesising Cool Controllers


Husien, I, Berthier, N and Schewe, S (2017) A Hot Method for Synthesising Cool Controllers. In: International SPIN Symposium on Model Checking of Software, 2017-07-13 - 2017-07-14, Santa Barbara, California, United States.

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

Download (851kB)
Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: Symplectic Admin
Date Deposited: 12 Jul 2017 08:28
Last Modified: 08 Jan 2018 08:11
URI: http://livrepository.liverpool.ac.uk/id/eprint/3008410
Repository Staff Access