Online Seminar- 1 April 2021
On 1 Apr, 2021
Aurora Schmidt & Marin Kobilarov, "Verified Assured Learning for Unmanned Embedded Systems (VALUES)"
Ali Narenji Sheshkalani, "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
If you wish to attend this seminar please join the IEEE TC mailing list on our webpage- https://www.ieee-ras.org/verification-of-autonomous-systems