Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Bowen Zheng, Hengyi Liang, Zhilu Wang, Qi Zhu

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish (US)
Title of host publicationSafe, Autonomous and Intelligent Vehicles
EditorsHuafeng Yu, Xin Li, Richard M Murray, S Ramesh, Claire J Tomlin
PublisherSpringer International Publishing
Pages163-186
Number of pages24
ISBN (Print)978-3319973005
StatePublished - 2019

Publication series

NameUnmanned System Technologies
ISSN (Print)2523-3734

Cite this