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)

Bike sharing data analytics for silicon valley in USA. - Xiaoming Han; Pengtao Wang; Jerry Gao 002; Monil Shah; Ratan Kadam Mukul Ambulgekar; Akshay Jarandikar; Subhankar Dhar (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)