1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Automated Planning Based Methods for Early Verification of Reactive Control Systems
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6153
Title: Automated Planning Based Methods for Early Verification of Reactive Control Systems
Authors: Gosh, Kamalesh
Keywords: Adaptive Cruise Control
Reactive Control Systems
Requirements Engineering
Formal Verification
Automated Planning
Issue Date: Jan-2016
Publisher: IIT, Kharagpur
Gov't Doc #: NB15392
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6153
Appears in Collections:Automated Planning Based Methods for Early Verification of Reactive Control Systems

Files in This Item:
File Description SizeFormat 
NB15392_Thesis.pdf
  Restricted Access		2.41 MBAdobe PDFView/Open Request a copy
NB15392_Abstract.pdf24.49 kBAdobe PDFThumbnail
View/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.