A Hybrid Algorithm for LTL Games. - Saqib Sohail; Fabio Somenzi; Kavita Ravi (VMCAI, 2008)

Safety first: A two-stage algorithm for LTL games. - Saqib Sohail; Fabio Somenzi (FMCAD, 2009)

Efficient handling of obligation constraints in synthesis from omega-regular specifications. - Saqib Sohail; Fabio Somenzi (FMCAD, 2013)

Safety first: a two-stage algorithm for the synthesis of reactive systems. - Saqib Sohail; Fabio Somenzi (Int. J. Softw. Tools Technol. Transf., 2013)