Nida Afaq

According to our database, Nida Afaq authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

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

2016

Probabilistic Formal Verification of the SATS Concept of Operation.

Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016