Tran Thi Bich Hanh

Learn More
In this paper we present an approach to safety verification of Air-Traffic Control Systems (ATC) using probabilistic real-time model-checking. Namely we use ATC as a case study for the formal analysis of real time systems whose performance depends on uncertain or probabilistic behaviors. We construct a probabilistic timed automata model for ATC by extending(More)
  • 1