Automated Planning Based Methods for Early Verification of Reactive Control Systems

dc.contributor.author	Gosh, Kamalesh
dc.date.accessioned	2016-03-02T05:57:04Z
dc.date.available	2016-03-02T05:57:04Z
dc.date.issued	2016-01
dc.identifier.govdoc	NB15392
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6153
dc.language.iso	en	en
dc.publisher	IIT, Kharagpur	en
dc.subject	Adaptive Cruise Control	en
dc.subject	Reactive Control Systems	en
dc.subject	Requirements Engineering	en
dc.subject	Formal Verification	en
dc.subject	Automated Planning	en
dc.title	Automated Planning Based Methods for Early Verification of Reactive Control Systems	en
dc.type	Thesis	en