fmasworkshop.github.io - Formal Methods for Autonomous Systems

home > domains > fmasworkshop.github.io

Description: The International Workshop on Formal Methods for Autonomous Systems

Example domain paragraphs

Workshops FMAS 2023

The Workshop on Formal Methods for Autonomous Systems 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.

We are a peer-reviewed, adacemic workshop. Previous editions of our proceedings can be found DBLP .

Links to fmasworkshop.github.io (4)

• mariefarrell.github.io Marie Farrell
• gleirscher.de Mario Gleirscher - Academic Profile
• lauratitolo.github.io Laura Titolo
• mluckcuck.github.io Dr Matt Luckcuck