We solicit contributed tool demonstrations. The tools will be highlighted via ~5 min lightning talks, followed by a short ~15-minute period for general feedback, and wrapping up in individual breakout sessions at tables where the tools will be demonstrated.
Use cases of formal methods in robotics
Automated planning from rich specifications
Formal safety verification
Interpretable machine learning
Formal verification of machine learning systems
Robotics-centric tools leveraging formal methods
Runtime monitoring
Demonstrations should include:
How to define a simple example to use the tool
A realistic example that can also be executed by interested researchers
Videos or demos on real robots
The submission should be in the form of a one-page document, including:
Abstract for the lightning talk
Demonstration plan at the workshop
URL for the tool
The site can be a static website or github repository that includes the tool’s name, description (abstract), purpose, authors, licensing information, and citation information. We will accept both open and closed source tools, but will require, at a minimum, that they be freely available to use and distribute for academic purposes and be accessible by all workshop participants. Acceptance will be based on: installation and dependencies, examples and reproducibility of examples, how easy it is to create new cases, API and use with other tools (e.g. ROS), documentation, and generality.
Tool demonstrations should be submitted to: https://forms.gle/1hhWqoeVzZkkeyMe8
Inquiries can also be directed to: [email protected]
Tool Demonstration Submission Deadline: April 14th, 2024 (AoE)
Acceptance Notifications: April 30th, 2024 (AoE)
Presentation Submission Deadline: May 10th, 2024 (AoE)
Workshop Date: May 17th, 2024 (AoE)