1
st
International Workshop on
Verification of Autonomous & Robotic Systems
(VARS)
18 May 2021 —
CPS-IoT Week 2021
(virtual event)
Organizers
Sergiy Bogomolov
(Newcastle)
Michael Fisher
(Manchester)
Hadas Kress-Gazit
(Cornell)
Sadegh Soudjani
(Newcastle)
Paolo Zuliani
(Newcastle)
You will be redirected to the
new workshop page
in 5 seconds ...