Game Theory in Logic and Verification
Roles: Teaching Assistant and Co-Instructor (Substitute Lectures)(2021)
Oliver Markgraf
he/him
- Kaiserslautern, Germany
- University of Kaiserslautern-Landau
- Google Scholar
- ORCID
- GitHub
- dblp
Roles: Teaching Assistant and Co-Instructor (Substitute Lectures)(2021)