Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, and Daniela Rus. Compositional and Contract-based Verification for Autonomous Driving on Road Networks. In International Symposium on Robotics Research (ISRR), Puerto Varas, Chile, December 2017.
Curtis Madsen, Prashant Vaidyanathan, Cristian-Ioan Vasile, Rachael Ivison, Junmin Wang, Calin Belta, and Douglas Densmore. Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology. In International Workshop on Biodesign Automation (IWBDA), pages 25-26, Newcastle University, Newcastle upon Tyne, UK, August 2016. link.