Hscc

Attended HSCC (Hybrid Systems: Computation and Control) at CPS Week in Saint-Malo, France, and presented our paper Declarative Scenario-based Testing with RoadLogic (arXiv; to appear in the HSCC proceedings). The paper was nominated for the Best Paper Award in the Systems and Applications track.