A Verified Efficient Implementation of the Weighted Path Order.

René Thiemann Elias Wenninger

Published in: CoRR (2023)

Keyphrases

efficient implementation
hardware implementation
real time
neural network
mobile robot
general purpose
dimensionality reduction
multi dimensional
signal processing