ACM SIGBED HSCC Best Paper Award: All regular papers, including special track papers, will be automatically eligible for this award. Winner: Verifiably Safe Exploration for End-to-End Reinforcement Learning by Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das and Armando Solar-Lezama.
HSCC Test-Of-Time Award: This award recognizes the work that has proven to be the most visionary and impactful, leading to new directions of research being initiated, or new applications being brought into the hybrid systems research community. The call for nominations and eligibility criteria are published here. Winner:Safety verification of hybrid systems using barrier certificates by Stephen Prajna and Ali Jadbabaie, HSCC 2004.
Repeatability Evaluation: Papers that pass repeatability evaluation process will receive the “artifact evaluated” badge and there will be a Best RE Award. Winner:AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis by Niklas Kochdumper, Felix Gruber, Victor Gaßmann, Moritz Klischat, Bastian Schürmann and Matthias Althoff.
Best Demo/Poster: All demos and posters accepted for presentation at HSCC’21 will be eligible for the best demo/poster award. Winner: On-The-Fly, Data-Driven Reachability Analysis and Control of Unknown Systems: An F-16 Aircraft Case Study by Franck Djeumou, Aditya Zutshi and Ufuk Topcu.