Abstract

I will present results on non weak automatability, introduced by Toni Pitassi, Ran Raz and me. There will also be a discussion about how to extend the results to weaker systems.

Attachment

Video Recording