Aqsa Tehseen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Expectation Maximization

Localization Algorithm

Top Venues

Publications

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran
Formal Verification of Justification and Finalization in Beacon Chain. IEEE Access 12 (2024)
Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali
Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. FIT (2021)