🏆 2025(1)
Best Paper Award
Cumulative-Time Signal Temporal LogicChen, Zhang, Roy, Bartocci, Smolka, Stoller & Lin
Temporal LogicCPS
🏆 2024(1)
Best Paper Award
Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded ExecutorTeper, Kuhse, Günzel, von der Brüggen, Howar & Chen
ROS 2Real-Time