Original language | English |
---|---|
Title of host publication | IJCAI |
Publisher | IJCAI Organization |
Pages | 1069-1075 |
Number of pages | 7 |
Publication status | Published - 2015 |
Externally published | Yes |
Symbolic Model Checking for One-Resource RB+-ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review