Concurrent NetKAT with Ports.

Hui Feng Marcello M. Bonsangue

Published in: SAC (2024)

Keyphrases

concurrent execution
similarity measure
neural network
learning algorithm
artificial intelligence
multimedia
case study
mobile robot
hierarchical reinforcement learning
hybrid automata