A hybrid algorithm for LTL games Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 7, 2008

Full Author List

• Sohail S; Somenzi F; Ravi K

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

International Standard Book Number (ISBN) 13

• 978-3-540-78162-2

Additional Document Info

start page

• 309

end page

• +

volume

• 4905