1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Automated Planning Based Methods for Early Verification of Reactive Control Systems Collection home page

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

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2016-01Automated Planning Based Methods for Early Verification of Reactive Control SystemsGosh, Kamalesh
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover