5 citations · 7 across the 5 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2021★ 5 cited
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
Sayali Kate, Michael Chinn, Hongjun Choi +2
A robotic system continuously measures its own motions and the external world during operation. Such measurements are with respect to some frame of reference, i.e., a coordinate sy…
cs.RO2020
Probabilistic Conditional System Invariant Generation with Bayesian Inference
Meriel Stein, Sebastian Elbaum, Lu Feng +1
Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly…