Items where Author is "Ghosh, Kamalesh"Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 2. ArticleGhosh, 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 Conference or Workshop ItemGhosh, 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. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level