A boundedness principle for the Hjorth rank. - Ohad Drucker (Arch. Math. Log., 2022)

Synthesis of Infinite State Systems. - Ohad Drucker; Alexander Rabinovich (CoRR, 2025)