BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Shields: Runtime Enforcement for Reactive Systems
DTSTART:20191212T161500
DTEND:20191212T171500
DTSTAMP:20260407T101143Z
UID:0005a8fc5364f8a5336598992475837952d4ab9f82356ca47882aa22
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Roderick Bloem - Graz University of Technology\nVideo of h
 is talk\n\nAbstract:\nWe often have high confidence in the correctness of 
 a system without being able to prove its correctness. Machine learning in 
 particular can be used to learn systems that have excellent behavior but n
 o guarantees. We discuss an approach to learn optimal policies while enfor
 cing properties expressed in temporal logic. To this end\, given a tempora
 l logic specification\, we synthesize a reactive system called a shield. T
 he shield monitors the actions from the learner and corrects them only if 
 the chosen action causes a violation of the specification.\n\nBio:\nRoderi
 ck Bloem received his M.Sc. degree in Computer Science from Leiden Univers
 ity\, the Netherlands in 1996\, and his Ph.D. degree in Computer Science f
 rom the University of Colorado at Boulder\, in 2001. From 2002 until 2008\
 , he was an Assistant at Graz University of Technology\, Graz\, Austria. F
 rom 2008\, he has been a full professor of Computer Science at the same un
 iversity. He has published over 100 peer reviewed papers in formal verific
 ation\, reactive synthesis and security. He leads the Austrian National Re
 search Network on Rigorous Systems Engineering and has organized events in
 cluding the Computer Aided Verification conference and Formal Methods in C
 omputer Aided Design.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR