The SMT-based automatic road network generation in vehicle simulation environment. - BaekGyu Kim; Akshay Jarandikar; Jonathan Shum; Shinichi Shiraishi; Masahiro Yamaura (EMSOFT, 2016)