| 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: | Padmavathy, S | |
| Guide: | Chakravarthy, Bhagvati | |
| University: | University of Hyderabad | |
| Language: | English | |
| Shodhganga | ||
| 3 | ||
| Researcher: | Padmavathy, S | |
| Guide: | Chakravarthy, Bhagvati | |
| University: | University of Hyderabad | |
| Language: | English | |
| Shodhganga | ||