Items where Author is "Ghosh, Kamalesh"

Ghosh, Kamalesh ; Dasgupta, Pallab ; Ramesh, S. (2015) Automated planning as an early verification tool for distributed control Journal of Automated Reasoning, 54 (1). pp. 31-68. ISSN 0168-7433

Ghosh, Kamalesh ; Dasgupta, Pallab ; Ramesh, S. (2012) Planning with action prioritization and new benchmarks for classical planning In: 25th Australasian joint conference on Advances in Artificial Intelligence, 4-7 December 2012, Sydney, Australia.