Robust and compositional verification of object capability patterns.

David Swasey Deepak Garg Derek Dreyer

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

partial occlusion
complex objects
formal methods
model based object recognition
pattern discovery
interesting patterns
asynchronous circuits
website
moving objects
object tracking
model checking
object model
object localization
verification method