Saqib Bin Sohail

Saqib Bin Sohail

University of Colorado Boulder - Boulder / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 5541834
person_outline Saqib Bin Sohail's MOST POPULAR ARTICLES
1-) Safety first: A two-stage algorithm for LTL gamesS Sohail, F Somenzi2009 Formal Methods in Computer-Aided Design, 77-84, 2009412009
2-) Safety first: a two-stage algorithm for the synthesis of reactive systemsS Sohail, F SomenziInternational Journal on Software Tools for Technology Transfer 15, 433-454, 2013322013
3-) A hybrid algorithm for LTL gamesS Sohail, F Somenzi, K RaviInternational Workshop on Verification, Model Checking, and Abstract …, 2008262008
4-) A networking laboratory for the developing worldSH Bokhari, M Ahmed, S bin Sohail, RH Khan, JA Mirza, M AliIEEE Communications Magazine 42 (2), 106-113, 200492004
5-) Improving the Efficiency and Quality of Omega-Regular SynthesisS Sohail2014