59 citations · 72 across the 8 of their papers we have counts for
1 paper · 1 filter
Man Zhang, Tao Yue, Nazareno M. Aguirre +2
Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintain…