The SMT-based automatic road network generation in vehicle simulation environment.

BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura

Browse the full EMSOFT paper archive.