Travelled to:1 × USA
Collaborated with:F.Somenzi K.Ravi
Talks about:algorithm (1) hybrid (1) game (1) ltl (1)
Person: Saqib Sohail
DBLP: Sohail:Saqib
Contributed to:
Wrote 1 papers:
- VMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl
- A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.












