Activities
We will be organizing exciting workshops and events for next year. Please contact us for more information or register in the emailing list.
Activities
Seminars and Meetings
- We are currently holding a monthly Verification of Autonomous Systems Seminar Series via Zoom on the first Thrusday of the month. If you would like to receive invitations and information about this series, please join our TC using the "Join Us" link above. It features presentations from TC members at both introductory and advanced levels. If you would like to present, please contact the TC Co-Chairs using the information at the "Contact" link above.
- Upcoming speakers are posted below in the "Upcoming Events" section
- Slides from previous seminars will be posted below as they become available through the links in the "Past Events" section.
- We will be planning a new workshop soon - please use the Join Us link to automatically receive information or contact the Co-Chairs to get involved.
Information and Data Calls
- We will be sending out a periodic newsletter with updates to this site and any information or calls submitted by TC members or external parties
- If you have something to submit, please email the Co-Chairs and it will be included in the next Newsletter
- Content types:
- Information about upcoming events - lectures, seminars, symposia, workshops
- Calls for papers, workshop and tutorial proposals, participation, and grant proposals
- Requests for information and/or support
- News - new publications, meeting updates, where to find slides and presentation content for past events
UPCOMING EVENTS
Verification of Autonomous Systems Seminar Series
June 2 2022, 9:00 EDT, 13:00 GMT, 15:00 CET, 21:00 SGT
Manuela Veloso, " Advancing AI and multi-robot systems through the RoboCup competition"
Liam Paull, "Duckietown and the AI Driving Olympics"
PAST EVENTS
Verification of Autonomous Systems Seminar Series
*** To download the available slides, please click on the respective seminar title ***
May 7, 2020
Signe Redfield, "Autonomous Behavior Specification"
Dejanira Araiza-Illan, "On verification, safety and manufacturing in Industries 4.0"
June 4, 2020
Michael Fisher, "Steps to Verifying Autonomous Systems"
Mauricio Castillo-Effen, "Trustworthy Autonomous Systems"
July 2, 2020
Youcheng Sun, "Validation and Verification of Learning-Enabled State Estimation System for Robotics"
Chris Allsopp, "Developing a Taxonomy of Errors for the Integration of Autonomous Components"
August 6, 2020
John S. Baras, "Trusted Autonomy Theory and Applications"
Jim Kapinski, “Application of lightweight verification methods to delivery devices” (slides not available)
September 3, 2020
**CANCELLED**
October 1, 2020
Joanna Olszewska, "On V&V of Intelligent Vision Systems"
Charles Lesire-Cabaniols, "Formal methods for verification and control of software architectures"
November 5, 2020
Marco Roggero, "Design and verification of algorithms for object detection and tracking using lidar data"
Brian Logan, "Synthesising provably correct programs for autonomous systems"
December 3, 2020
Annual Technical Committee Members Meeting (2 hours)
January 7, 2021
Michael Winikoff, "Towards a Framework for Certification of Reliable Autonomous Systems"
Jyotirmoy Vinay Deshmukh, "Safe Deep Neural Network Controllers for Autonomous Systems" (slides not available)
February 4, 2021
Geoffrey Biggs, "Software libraries for increasing the reliability of C++ software"
David Tate, "Formal and Empirical Verification of Autonomy for Assurance"
March 4, 2021
Tom Freund, "Urban Air Mobility: Verifying trust"
Liren Yang, "Synthesis-guided Adversarial Example Generation for Gray-box Autonomous Systems with Sensing Imperfections"
April 1, 2021
Aurora Schmidt & Marin Kobilarov, "Verified Assured Learning for Unmanned Embedded Systems (VALUES)" (slides not available)
Ali Narenji Sheshkalani, "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
May 6, 2021
Sergiy Bogomolov, "Trusted Autonomous Systems: Verification Meets Falsification" (slides not available)
Angelo Ferrando, "ROSMonitoring: A Runtime Verification Framework for ROS" (slides not available)
June 3, 2021
Rosemary Monahan, "Formalising Verifiable Requirements in an Aerospace Use-Case"
Ufuk Topcu, "Autonomous Systems in the Intersection of Formal Methods, Controls and Learning” (slides not available)
July & August 2021 -- Summer break
September 9, 2021
Annual Technical Committee Members Meeting (2 hours)
October 7, 2021
Sadra Sadraddini, "Coordination of Large Heterogeneous Teams from Temporal Logic Specifications" (slides not available)
Kevin Leahy, "Efficient Motion Planning with Collision Avoidance Guarantees" (slides not available)
November 4, 2021
Bowen Weng, "On guaranteed safety assurance of automated driving systems (ADS): a set invariance perspective" (slides not available)
Max Cohen, "Safe Exploration in Learning-based Control of Autonomous Systems" (slides not available)
December 2, 2021
Mohammad Reza Mousavi, "Trust in Autonomous Systems through Verifiability"
Simos Gerasimou, "Evolutionary-Guided Controller Synthesis for Autonomous Systems" (slides not available)
January 2022 - Christmas/New Year break
February 3 2022
Ebru Aydin Gol, "Cause Mining and System Repair with STL"
Technical Committee members and co-chairs: Discussion on educational activities
March 3 2022
Cem Hatipoglu, TBC
Technical Committee members and co-chairs: Discussion on industrial focus working group
April 2022 - Spring break
May 5 2022
Gabriele Ferri, "From SAUC-E to the European Robotics League: supporting robotics through competitions"
Andrea Censi, "Designing everything together"