Friday, March 19, 2021 5:15pm to 7:15pm
About this Event
Dept: Electrical Engineering and Computer Science
Date: Friday, March 19, 2021
Time: 5:15pm-7:15pm
Place: Remote Defense via Microsoft Teams
Title: Verifying Value Iteration and Policy Iteration in Coq
Student: David Masters
Advisor: Dr. Gordon Stewart
0 people are interested in this event
Please contact David Masters dm526513@ohio.edu or their advisor Dr. Gordon Stewart gstewart@ohio.edu if you with to obtain instructions to join the remote defense.
(740) 593–9381 | Building 21, The Ridges
Ohio University | Athens OH 45701 | 740.593.1000 ADA Compliance | © 2018 Ohio University . All rights reserved.
User Activity
No recent activity