18 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.RO2023★ 3 cited
Formal Verification of Robotic Contact Tasks via Reachability Analysis
Chencheng Tang, Matthias Althoff
Verifying the correct behavior of robots in contact tasks is challenging due to model uncertainties associated with contacts. Standard methods for testing often fall short since al…
hep-ex2015★ 18 cited
Measurement of in oscillation using quantum correlations in at = 3.773\,GeV
BESIII Collaboration, M. Ablikim, M. N. Achasov +407
We report a measurement of the parameter in $\ensuremath{D^0}\xspace-\ensuremath{\overline{D}^{0}}\xspace$ oscillations performed by taking advantage of quantum coherence…