| 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: | Koneru, Sowmya |
| Guide: | R., Satya Prasad |
| University: | Acharya Nagarjuna University, Guntur |
| Language: | English |