Scholar

Nianyu Li (李念语)

Google Scholar ID: DxQnDHAAAAAJ

ZGC Lab

Self-adaptive systemssystem modeling and verification

Citations & Impact

All-time

Citations

344

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Paper 'Adaptive Preferences: Pivoting Through User Complaints' accepted by TAAS (corresponding author)
Paper 'Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding' accepted by AAAI (corresponding author)
Paper 'Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap' invited and accepted by TAAS (corresponding author)
Published multiple papers in top venues including AAMAS'24, JSS, TAAS, CHI LBW'24, SEAMS'24, SEAMS'23, SEAMS'21, FASE'21, ASE'20, PerCom'10
Best Student Paper Award at SEAMS'21 for 'Hey! preparing humans to do tasks in self-adaptive systems'
Best Paper Award at ASE'20 for 'Scalable multiple-view analysis of reactive systems via bidirectional model transformations'

Co-authors

13 total