A Hybrid Algorithm for LTL Games.

Saqib Sohail, Fabio Somenzi, Kavita Ravi

Browse the full VMCAI paper archive.