ABZ'23

ABZ 2023 (Nancy, France)

9th International Conference on Rigorous State-Based Methods

AMAN Case Study (ABZ 2023)

This document presents the case study for ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager) which is a partly-autonomous scheduler of landing sequences of aircraft in airports.