Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE
Home > Scientific Research > Paper Publications

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration

Date of Publication:2022-10-08 Hits:

Date of Publication:2022-10-08
Journal:2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)
Page Number:113-120

Pre One:SDLV: Verification of Steering Angle Safety for Self-Driving Cars

Next One:Quality evaluation method of undergraduate thesis references based on Hadoop

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:  | The Last Update Time:..  | Open time:..  | DALIAN UNIVERSITY OF TECHNOLOGY | Login