2 papers
cs.AI2026
MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
Vishal Venkataramani, Haizhou Shi, Zixuan Ke +6
Multi-Agent Systems (MAS) built on Large Language Models (LLMs) often exhibit high variance in their reasoning trajectories. Process verification, which evaluates intermediate step…
cs.RO2023
RED: A Systematic Real-Time Scheduling Approach for Robotic Environmental Dynamics
Zexin Li, Tao Ren, Xiaoxi He +1
Intelligent robots are designed to effectively navigate dynamic and unpredictable environments laden with moving mechanical elements and objects. Such environment-induced dynamics,…