id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ap-5030	Vetter, Michael	MODEL-BASED SECURITY ANALYSIS OF FPGA DESIGNS THROUGH REINFORCEMENT LEARNING	2019	9	.pdf	application/pdf	4799	327	49	We presented a method to generate a Markov Decision Process based reinforcement learning model from a formal, high-level system description (formulated in the domain-specific language FPGASECML.) Transformation flow from the FPGASECML to the BURLAP based reinforcement learning model.	cache/ap-5030.pdf	txt/ap-5030.txt