Thorium: A Language for Bounded Verification of Dynamic Reactive Objects.

Kevin Baldor Xiaoyin Wang Jianwei Niu

Published in: REBLS@SPLASH (2023)

Keyphrases

programming language
natural language
moving objects
computer vision
object identity
object model
d objects
logic programs
logic programming
language learning
data objects
spatial relationships
object segmentation
high level
multiple objects
specification language
machine learning