Finding a Needle in a Haystack: Scenario Coverage Verification for Single-UAV Missions Using SMT

@inproceedings{pub17408,
    author = {



Ain, Qurrat Ul
 and 



Kole, Abhoy
 and 



Hassan, Muhammad
 and 



Drechsler, Rolf
},
    title = {Finding a Needle in a Haystack: Scenario Coverage Verification for Single-UAV Missions Using SMT},
    booktitle = {IEEE International Conference on Omni-Layer Intelligent Systems (COINS). 

IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS-2026), September 7-9, Bologna, Italy
},
    year = {2026}
}