Scholar
Yong Li
Google Scholar ID: yGSWSbMAAAAJ
Institue of Software, Chinese Academy of Sciences
Automata theory
Model checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
396
H-index
9
i10-index
9
Publications
20
Co-authors
0
Publications
10 items
Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees
2026
Cited
0
Complementing Emerson-Lei Elevator Automata (Technical Report)
2026
Cited
0
DyCon: Dynamic Reasoning Control via Evolving Difficulty Modeling
2026
Cited
0
Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report)
2026
Cited
0
Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
2026
Cited
0
Hyper-Minimization for Deterministic Register Automata
2026
Cited
0
Divide and Conquer: Static-Dynamic Collaboration for Few-Shot Class-Incremental Learning
2026
Cited
0
Few-shot Class-Incremental Learning via Generative Co-Memory Regularization
arXiv.org · 2026
Cited
0
Load more
