BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ICES - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:ICES
X-ORIGINAL-URL:https://www.ices.kth.se
X-WR-CALDESC:Events for ICES
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20200608
DTEND;VALUE=DATE:20200613
DTSTAMP:20260503T104814
CREATED:20200212T084948Z
LAST-MODIFIED:20200324T080449Z
UID:1117-1591574400-1592006399@www.ices.kth.se
SUMMARY:Postponed to 2021 - 2020 Swedish Summer School on Cyber-Physical Systems
DESCRIPTION:The summer school is postponed to 2021 due to Covid-19 outbreak.\nThe Swedish Summer School on Cyber-Physical Systems (CPS) brings together leaders from industry and academia to introduce researchers to current hot topics in the area. The summer school is arranged by Halmstad University and KTH\, and is aimed at professionals from the industry and academia\, including doctoral students. \n\n\n\n\n\n\n\nDates: June 8–12\, 2020 \nPlace: Halmstad University\, room Himmel\, floor 22 in H Building \nRegistration: The last day of registration is May 15\, 2020 \nRegistration for the Swedish Summer School on Cyber-Physical Systems 2020
URL:https://www.ices.kth.se/event/2020-swedish-summer-school-on-cyber-physical-systems/
CATEGORIES:Partner Events
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20200617T150000
DTEND;TZID=Europe/Stockholm:20200617T163000
DTSTAMP:20260503T104814
CREATED:20200601T113000Z
LAST-MODIFIED:20200617T111019Z
UID:1368-1592406000-1592411400@www.ices.kth.se
SUMMARY:Virtual Coffee with an Expert  - Reinforcement learning with probabilistic safety guarantees
DESCRIPTION:Speaker: Jana Tumová  \nAbstract: \nReinforcement learning (RL) is a powerful approach to decision making under uncertainty. However\, it is often difficult to validate the resulting policy with high confidence. In this talk\, we overview a recently popular two-step approach to safe reinforcement learning: in the first step\, formal verification identifies the set of actions that guarantee safety with desired probability\, and the second step integrates this into RL algorithm to constrain the exploration of the agent. Probabilistic guarantees thus get transferred to the trained policy during training and execution. We will discuss our results in problems inspired by urban autonomous driving involving multiple traffic participants\, where desired safety properties are expressed in linear temporal logic (LTL). We will demonstrate in simulation of an unsignalized intersection that the resulting policy exhibits strong safety guarantees and scales well. \nThis event will be held via Zoom. Register for the event below. A link to the meeting room will be sent out to attendees before the event starts.   \nZoom link here: https://kth-se.zoom.us/j/66805342181 
URL:https://www.ices.kth.se/event/virtual-coffee-with-an-expert-reinforcement-learning-with-probabilistic-safety-guarantees/
ATTACH;FMTTYPE=image/png:/wp-content/uploads/sites/56/2020/05/Svart-Grå-Kaffe-Minimalistisk-Instagram-Inlägg.png
ORGANIZER;CN="The ICES Network":MAILTO:ices-admin@kth.se
END:VEVENT
END:VCALENDAR