Sign in

Runtime Monitoring of Object Invariants with Guarantee.

Madhu GopinathanSriram K. Rajamani
Published in: RV (2008)
Keyphrases
  • monitoring system
  • real time
  • d objects
  • object tracking
  • complex objects
  • object model
  • moving objects
  • invariant representation
  • neural network
  • object recognition
  • keypoints
  • data objects
  • object classes
  • invariant features