If you are interested in novel approaches to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains, then join Prof Kerstin Eder at 17:00 on 21 October at the Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021).
Kerstin will be joined by Jan Peleska and Wen-Ling Huang. Jan will present their paper ‘Complete Agent-driven Model-based System Testing for Autonomous Systems’ before opening the discussion. The intention is to use the methods described in the paper for system-level testing of some of our TAS Functionality Node use cases.
The workshop will take place from 17:00 – 17:30 on 21st October.
FMAS 2021 will be held online on 21st and 22nd October 2021. For programme information and how to register visit FMAS 2021.