About |
This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. This workshop will include invited speakers, contributed papers, and experience reports. |
Call for Papers |
ScopeAutonomous -- and Robotic -- Systems present unique challenges for formal methods. They are embodied entities that can interact with the real world and make autonomous decisions. Amongst others, they can be viewed as safety-critical, cyber-physical, hybrid, and real-time systems. Key issues for formal methods applied to autonomous systems include capturing how the system will deal with a dynamic external environment and verification of the system's decision making capabilities -- including planning, safety, ethical, and reconfiguration choices. Some autonomous systems require certification before deployment, others require public trust for wide adoption; both of these scenarios are being tackled by formal methods.
Submission Information |
Summary |
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems will take place in Online. It’s a 1 day event starting on Dec 07, 2020 (Monday) and will be winded up on Dec 07, 2020 (Monday). FMAS 2020 falls under the following areas: FORMAL METHODS, AUTONOMOUS SYSTEMS, ROBOTICS, FORMAL VERIFICATION, etc. Submissions for this Workshop can be made by Sep 11, 2020. Authors can expect the result of submission by Oct 23, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Nov 06, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the FMAS 2020
|
Credits and Sources |
[1] FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems |