IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Automated Planning Based Methods for Early Verification of Reactive Control Systems

Automated Planning Based Methods for Early Verification of Reactive Control Systems

Browse by

Aothor: Kamalesh Ghosh
Guide: Pallab Dasgupta
Department of Computer Science & Engineering
Indian Institute of Technology, Kharagpur
January, 2016