activity
20242026
most citedVerifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite

3 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.RO2026

Neuro-Symbolic Safety Guidance for Vision-Language-Action Models via Constrained Flow Matching

William English, Hao Zheng, Rickard Ewetz

Vision-Language-Action (VLA) models have demonstrated promising generalization capabilities across robotic manipulation tasks, yet their real-world deployment remains limited by th…