Realizability for Finite State Reactive Agents
This work was produced during the Dovetail Research Fellowship. I’m grateful to Alex, Alfred, Winter, and Santiago, and to everyone who provided feedback, and to the fellowship community for their discussions. Note on formatting: There was a rendering issue with display-style LaTeX in the original version of this post, where...
Feb 153