1 paper
Li Huang, Tian Liang, Eun-Young Kang
Formal analysis of functional and non-functional requirements is crucial in automotive systems. The behaviors of those systems often rely on complex dynamics as well as on stochast…