@misc{indiciae6ef0b3eb3601, title = {Runtime Verification under Split Past and Future}, author = {Dogan Ulus}, year = {2026}, url = {https://arxiv.org/abs/2608.20783}, note = {Source identifier: 2608.20783} }