A Hybrid Algorithm for LTL Games.

Tue, 01 Jan 2008 00:00:00 +0100

Saqib Sohail, Fabio Somenzi, Kavita Ravi:
A Hybrid Algorithm for LTL Games. VMCAI 2008: 309-323