Verification and Control of Hybrid Systems Under Safety Requirements
Lucia, W., Famularo, D., Franzè, G., Furfaro, A.Volume:
51
Year:
2018
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2018.11.082
File:
PDF, 825 KB
english, 2018