Symbolic Model Checking for One-Resource RB+-ATL.

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

Browse the full IJCAI paper archive.