About Us

Upcoming Events

Day | Week | Month | Year | Upcoming
In this talk I will examine high-level decision-making in autonomous systems, the formal verification approaches we might apply to this decision making, and the impact this verification can have on safety, legality, ethics, and more.
Event Time
11am
Venue
C60b/c, InfoLab
Speaker
Professor Michael Fisher, University of Liverpool
<December 2017>
Mo Tu We Th Fr Sa Su
27282930010203
04050607080910
11121314151617
18192021222324
25262728293031
Day | Week | Month | Year | Upcoming