Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

dc.contributor.author	Anastasio, Bruto da Costa Antonio
dc.date.accessioned	2021-09-01T11:25:10Z
dc.date.available	2021-09-01T11:25:10Z
dc.date.issued	2020-07
dc.identifier.govdoc	NB16771
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9902
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Formal verification	en_US
dc.subject	Formal languages	en_US
dc.subject	Hybrid automata	en_US
dc.subject	Reachability analysis	en_US
dc.subject	Time series	en_US
dc.title	Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems	en_US
dc.type	Thesis	en_US