Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9902
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAnastasio, Bruto da Costa Antonio-
dc.date.accessioned2021-09-01T11:25:10Z-
dc.date.available2021-09-01T11:25:10Z-
dc.date.issued2020-07-
dc.identifier.govdocNB16771-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9902-
dc.language.isoenen_US
dc.publisherIIT Kharagpuren_US
dc.subjectFormal verificationen_US
dc.subjectFormal languagesen_US
dc.subjectHybrid automataen_US
dc.subjectReachability analysisen_US
dc.subjectTime seriesen_US
dc.titleAlgorithms for Formal Feature Analysis and Inference Learning for Hybrid Systemsen_US
dc.typeThesisen_US
Appears in Collections:Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

Files in This Item:
File Description SizeFormat 
NB16771_Abstract.pdf6.75 kBAdobe PDFView/Open
NB16771_Thesis.pdf
  Restricted Access
8.06 MBAdobe PDFView/Open Request a copy


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