Yingying Shi

2 accepted papers

2026

Guard4D: Robust Watermarking for 4D Gaussian Splatting via Decoupled Decoding

IJCAI 2026

4D Gaussian Splatting (4DGS) enables high-quality, real-time rendering of dynamic scenes and is becoming a popular format for sharing 4D assets. This trend calls for robust copyright watermarking that can be verified from rendered videos without access to the original scene or model parameters. Howe

Cited by 0 Scholar ↗

2021

On-the-fly Synthesis for LTL over Finite Traces

Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Vardi

AAAI 2021technical

We present a new synthesis framework based on the on-the-fly DFA construction for LTL over finite traces (LTLf ). Extant approaches rely heavily on the construction of the complete DFA w.r.t. the input LTLf formula, whose size can be doubly exponential to the size of the formula in the worst case. U…

Cited by 24 Source ↗PDF ↗Scholar ↗