| 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: | Sowmya, A | |
| Guide: | Meenakshi, S | |
| University: | The Gandhigram Rural Institute | |
| Language: | English | |
| Shodhganga | ||