Saqib Sohail

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Computationally Expensive

Reactive Systems

Detection Algorithm

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Saqib Sohail, Fabio Somenzi
Efficient handling of obligation constraints in synthesis from omega-regular specifications. FMCAD (2013)
Saqib Sohail, Fabio Somenzi
Safety first: a two-stage algorithm for the synthesis of reactive systems. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Saqib Sohail, Fabio Somenzi
Safety first: A two-stage algorithm for LTL games. FMCAD (2009)
Saqib Sohail, Fabio Somenzi, Kavita Ravi
A Hybrid Algorithm for LTL Games. VMCAI (2008)