Jianing Zhao

1. Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
   2024/03/26 by Bowen Ye, Jianing Zhao, Ye, Bowen +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Semantic Web and Ontologies #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
   2023/11/27 by Chuwei Wang, Xinyi Yu, Wang, Chuwei +7 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Electrical engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. CodeEdu: A Multi-Agent Collaborative Platform for Personalized Coding Education
   2025/07/18 by Jianing Zhao, Zhao, Jianing, Peng Gao +13 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Multiagent Systems (cs.MA) #Teaching and Learning Programming #Topic Modeling