Location: Gilman 132
When: February 23rd at 1:30 p.m.
Zoom link: https://wse.zoom.us/j/95738965246
Title: Statistical verification algorithms for logical specifications on autonomous systems
Abstract: Modern autonomous systems, such as self-driving cars and unmanned aerial vehicles, are utilized in various applications, creating a need for general-purpose statistical algorithms that can verify a broad range of application-related specifications. This challenge has led to the development of statistical model checking, which expresses these specifications by the symbolic language of temporal logic and uses automated algorithms to parse them and infer their correctness by sampling. This presentation will introduce our recent contribution to this field and offer perspectives on potential future research directions.