Modelling and Verification of Multiple UAV Mission Using SMV - Gopinadh Sirigineedi; Antonios Tsourdos; Brian A. White; Rafal Zbikowski (FMA, 2009)

Kripke modelling and verification of temporal specifications of a multiple UAV system. - Gopinadh Sirigineedi; Antonios Tsourdos; Brian A. White; Rafal Zbikowski (Ann. Math. Artif. Intell., 2011)