Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
4
Verification Logics for Quantum Programs
Written preliminary examination for qualification to University of Pennsylvania candidacy status (May 2016). Uploaded to the arXiv by request.
Robert Rand
PDF
Cite
Slides
Video
arXiv
Terminal games with three terminals have proper Nash equilibria
We believe that there is a flaw in the inductive proof in this report. Please note before citing.
Endre Boros
,
Robert Rand
PDF
Cite
Cite
×