4 papers
FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs
Yifan Zhang, Xinkui Zhao, Sai Liu +3
Large language model (LLM) agents autonomously interleave semantic reasoning with complex system operations. In these dynamic environments, static tool-level permissions are fundam…
Uncertainty Quantification for Flow-Based Vision-Language-Action Models
Ralf Römer, Maximilian Seeliger, Saida Liu +5
Vision-language-action models (VLAs) combine vision-language backbones with expressive generative action heads trained via flow matching on large-scale robotic datasets. Despite th…
ProMAS: Proactive Error Forecasting for Multi-Agent Systems Using Markov Transition Dynamics
Xinkui Zhao, Sai Liu, Yifan Zhang +4
The integration of Large Language Models into Multi-Agent Systems (MAS) has enabled the so-lution of complex, long-horizon tasks through collaborative reasoning. However, this coll…
MATT-Diff: Multimodal Active Target Tracking by Diffusion Policy
Saida Liu, Nikolay Atanasov, Shumon Koga
This paper proposes MATT-Diff: Multimodal Active Target Tracking by Diffusion Policy, a control policy for active multi-target tracking using a mobile agent. The policy enables mul…