New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior