BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20261107T161139Z
UID:Seminar-verification-1513@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20261105T110000
DTEND:20261105T120000
SUMMARY:Verification Series
DESCRIPTION:Raj Roy: Learning Temporal Specifications from Examples of System Behavior\n\nWhile formal verification provides rigorous methodologies for certifying the correctness of systems, these approaches require requirements to be expressed precisely in formal specification languages. However, writing such specifications manually is often error-prone and tedious.\n\n\n\nIn this talk, we will see how this challenge can be mitigated by automatically learning formal specifications—focusing on different temporal logics—from examples of system behavior. We discuss how this problem must be adapted to practical settings, where data may be noisy, negative examples may be unavailable, and observations may be uncertain. We present symbolic learning algorithms based on constraint optimization and discuss the rigorous guarantees that these methods can provide. We also outline how specification learning can be integrated with frameworks such as runtime monitoring, AI planning, and related approaches.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1513
LOCATION:Ashton 208
END:VEVENT
END:VCALENDAR