☝️

Info

Clear message

Add to calendar

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. 

User Activity

No recent activity

View Site in Mobile | Classic
Share by: