Login / Signup
Asynchronous Correspondences Between Hybrid Trajectory Semantics.
Patrick Cousot
Published in:
CoRR (2022)
Keyphrases
</>
formal semantics
semantic information
logic programming
trajectory data
neural network
point correspondences
databases
programming language
pairwise
closed form
owl ontologies
hybrid approaches