Feng, Jincao
- ALA: Naturalness-aware Adversarial Lightness Attack
2022/01/16 by Huang, Yihao, Sun, Liangru, Guo, Qing +5 · 1 citation
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
2023/06/02 by Jincao Feng, Weikai Miao, Feng, Jincao +19 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)