Publication Driving with the fishes: Towards calming and mindful virtual reality experiences for the car 2018
Publication Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications