🏆 Best Paper Award
Papers nominated for the best paper award:
- General Anticipatory Monitoring for Temporal Logics on Finite Traces
Hannes Kallwies, Martin Leucker and César Sánchez
- Monitoring Hyperproperties With Prefix Transducers
Marek Chalupa and Thomas Henzinger
Pattern Matching for Perception Streams
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto and Danil Prokhorov
Sponsor: Springer