Symbolic Model Checking for One-Resource RB+-ATL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi. Symbolic Model Checking for One-Resource RB+-ATL. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 1069-1075, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Natasha Alechina' in GoogleThis author has not been identified. Look up 'Brian Logan' in GoogleThis author has not been identified. Look up 'Hoang Nga Nguyen' in GoogleThis author has not been identified. Look up 'Franco Raimondi' in Google

runs on WebDSL