Sign in
PHYSFRAME: type checking physical frames of reference for robotic systems.
Sayali Kate
Michael Chinn
Hongjun Choi
Xiangyu Zhang
Sebastian G. Elbaum
Published in:
ESEC/SIGSOFT FSE (2021)
Keyphrases
</>
robotic systems
type checking
mobile robot
vision system
data types
object manipulation
query processor
real time
moving objects
abstract data types
relational databases
spatio temporal
general purpose
object model
relational calculus