Branching Bisimulation and Concurrent Object Verification.

Xiaoxiao Yang Joost-Pieter Katoen Huimin Lin Gaoang Liu Hao Wu

Published in: DSN (2018)

Keyphrases

complex objects
object model
three dimensional
d objects
complex scenes
object identification
data sets
neural network
image segmentation
image regions
search tree
object segmentation
multiple objects
deformable objects
similar objects
false acceptance rate