| emsoft | participants

Shinichi Shiraishi

EMSOFT 2016: 16th International Conference on Embedded Software

The SMT-Based Automatic Road Network Generation in Vehicle Simulation Environment

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