Sign in

Abstraction for Concurrent Objects.

Ivana FilipovicPeter W. O'HearnNoam RinetzkyHongseok Yang
Published in: ESOP (2009)
Keyphrases
  • high level
  • multiple objects
  • real time
  • case study
  • moving objects
  • viewpoint
  • mobile robot
  • spatial relationships
  • object classes
  • target object
  • bounding box