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

Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. - BaekGyu Kim; Jonathan Shum; Akshay Jarandikar; Shinichi Shiraishi (ICCPS, 2016)