BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230201T120000
DTEND;TZID=America/New_York:20230201T133000
DTSTAMP:20260404T195359
CREATED:20230104T183000Z
LAST-MODIFIED:20230104T183000Z
UID:8048-1675252800-1675258200@seasevents.nmsdev7.com
SUMMARY:ASSET Seminar: The marriage of logic and learning: will it be a happily ever after?\, Jyotirmoy Deshmukh (University of Southern California)
DESCRIPTION:Presentation Abstract: \nHuge strides have made in the widespread adoption of autonomous and human-in-the-loop cyber-physical systems (CPS)\, partly fueled by dramatic improvements in learning-based techniques. An important aspect of such CPS applications is that they are safety-critical: any undesirable behavior by such systems can cause serious harm to human lives or property. The formal methods community has been an advocate of using logic and automata as specifications for safety-critical CPSs\, and the past few decades have seen significant strides in algorithms for their verification\, testing\, and automated synthesis. A new challenge now is the presence of learning-enabled components (LECs) in CPSs\, and in this talk\, we will review some recent work on using logic and learning-based techniques to provide guarantees for CPS applications using LECs. The happiness of this marriage between logic and learning depends on the applicability and scalability of these techniques to real-world systems; we will discuss success stories as well as challenges that need to be solved.
URL:https://seasevents.nmsdev7.com/event/asset-seminar-tba-jyotirmoy-deshmukh-university-of-southern-california/
LOCATION:Levine 307\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
CATEGORIES:Seminar
ORGANIZER;CN="Computer and Information Science":MAILTO:cherylh@cis.upenn.edu
END:VEVENT
END:VCALENDAR