Probabilistic Formal Verification of the SATS Concept of Operation. - Muhammad Usama Sardar; Nida Afaq; Khaza Anuarul Hoque; Taylor T. Johnson; Osman Hasan (NFM, 2016)

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). - Muhammad Usama Sardar; Nida Afaq; Osman Hasan; Khaza Anuarul Hoque (J. Autom. Reason., 2018)