Publications

Hussein Sibai, Yangge Li, Sayan Mitra (2021). SceneChecker: Boosting scenario verification using symmetry abstractions. International Conference on Computer Aided Verification.
PDF Cite
Yangge Li (2019). An example preprint / working paper.
PDF Code Dataset Poster Video Source Document Custom Link
Yangge Li, Robert Ford (2015). An example journal article. Journal of Source Themes, 1(1).
PDF Cite Code
Yangge Li, Robert Ford (2013). An example conference paper. In ICW.
PDF Cite Code Dataset Video Source Document