Login / Signup
Nida Afaq
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Posterior Probability
Uncertain Data
Probabilistic Logic
Formal Analysis
Top Venues
J. Autom. Reason.
NFM
</>
Publications
</>
Muhammad Usama Sardar
,
Nida Afaq
,
Osman Hasan
,
Khaza Anuarul Hoque
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reason.
60 (1) (2018)
Muhammad Usama Sardar
,
Nida Afaq
,
Khaza Anuarul Hoque
,
Taylor T. Johnson
,
Osman Hasan
Probabilistic Formal Verification of the SATS Concept of Operation.
NFM
(2016)