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.