activity
20232026
most citedIncremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

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

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty

Yihao Yin, Pian Yu, Andrea Turrini +3

Robots operate under significant uncertainty, from quantifiable noise to unquantifiable unknowns, and must account for strict operational constraints, such as limited resources. In…