FMAS Organizing Committee

International Workshop on Formal Methods for Autonomous Systems (FMAS) is an international peer-reviewed academic workshop focused on formal methods, autonomous systems, robotics, and software verification. The workshop brings together researchers, academicians, and industry experts working on specification, modeling, verification, and validation of autonomous and cyber-physical systems. FMAS is co-located with major international conferences in formal engineering and software methods.