| 1 | Autonomous robot motion in complex environments: Specification and verification |
| Researcher: | Sowmya, A |
| Guide: | Ramesh, S |
| University: | Indian Institute of Technology-Bombay |
| Language: | English |
| 2 | |
| Researcher: | Ghosh, Sreya |
| Guide: | Pan, Somnath |
| University: | Indian School of Mines, Dhanbad |
| Language: | English |