Stateful Behavioral Types for Active Objects.

Eduard Kamburjan Tzu-Chun Chen

Published in: IFM (2018)

Keyphrases

d objects
spatial objects
image segmentation
moving objects
spatio temporal
mobile robot
keypoints
data objects
individual objects