Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto. A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 4224-4229, IEEE, 2013. [doi]
Abstract is missing.