Formal Methods for Autonomous Systems (FMAS)
FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. FMAS 2022 will be held at SEFM, so we will have in-person Read More …