Building Trust in Deep Reinforcement Learning Using Safety Annotations

dc.contributor.author	Gangopadhyay, Briti
dc.date.accessioned	2024-11-05T11:01:22Z
dc.date.available	2024-11-05T11:01:22Z
dc.date.issued	2023-06
dc.identifier.govdoc	NB18394
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/15476
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Deep Reinforcement Learning	en_US
dc.subject	Formal Verification	en_US
dc.subject	Safe Control	en_US
dc.subject	Counterexample Guided Refinement	en_US
dc.subject	Pruning	en_US
dc.title	Building Trust in Deep Reinforcement Learning Using Safety Annotations	en_US
dc.type	Thesis	en_US