Heron Yang, Robert Morris, Corina S. Pasareanu. Analysing the effect of uncertainty in airport surface operations. In Julian Dolby, William G. J. Halfond, Ashish Mishra, editors, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018. pages 132-137, ACM, 2018. [doi]
Abstract is missing.