@phdthesis{Chiao_Hsieh_PHD23,
    author = {Chiao Hsieh},
    title = {Abstractions for safety assurance of autonomous systems},
    year = {2023},
    school   = {University of Illinois as Urbana-Champaign},
    month = {May},
    address = {Dept. of Computer Science, University of Illinois, Urbana-Champaign}  
}