Symbolic Model Checking for One-Resource RB+-ATL

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationIJCAI
PublisherIJCAI Organization
Pages1069-1075
Number of pages7
Publication statusPublished - 2015
Externally publishedYes

Cite this