TY  - RPRT
TI  - History-Determinism vs Fair Simulation
AU  - Udi Boker
AU  - Thomas A. Henzinger
AU  - Karoliina Lehtinen
AU  - Keya Prakash
PY  - 2024
UR  - https://arxiv.org/abs/2407.08620
ID  - 2407.08620
ER  -