New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
Monitoring temporal properties of continuous signals