Li, Fang

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)

Varanasi, S. C., Arias, J., Salazar, E., Li, F., Basu, K., & Gupta, G. (2022) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeFormal Methods in Verification

Cited by 7

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

Li, F., Zuo, F., & Gupta, G. (2025) · arXiv

Information and Cyber SecurityNetwork Security and Intrusion Detection

Cited by 2