Bohua Zhan

Publications with FICTION

Conference Papers

1. Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang (2020). Learning One-Clock Timed Automata. In TACAS 2020. PDF Cite Slides DOI Artifact Evaluated Best Paper Award @ FMAC 2019 Springer High-Impact Paper
2. Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan (2019). NIL: Learning Nonlinear Interpolants. In CADE 2019. PDF Cite Code Slides DOI