Symbolic model-checking for single resource RB+-ATL
| Date first appeared online | 01/01/2015 |
| DOI | |
| Authors | Nguyen H. |
| Journal Name | Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) |
| Volume |
| Date first appeared online | 01/01/2015 |
| DOI | |
| Authors | Nguyen H. |
| Journal Name | Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) |
| Volume |