27 citations · 28 across the 3 of their papers we have counts for
3 papers
eess.SY2023★ 1 cited
Online Causation Monitoring of Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini +1
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signa…
cs.CV2023★ 27 cited
Latent-Shift: Latent Diffusion with Temporal Shift for Efficient Text-to-Video Generation
Jie An, Songyang Zhang, Harry Yang +4
We propose Latent-Shift -- an efficient text-to-video generation method based on a pretrained text-to-image generation model that consists of an autoencoder and a U-Net diffusion m…
cs.FL2022
Active Learning of One-Clock Timed Automata using Constraint Solving
Runqing Xu, Jie An, Bohua Zhan
Active automata learning in the framework of Angluin's algorithm has been applied to learning many kinds of automata models. In applications to timed models such as timed aut…