Asynchronous Subtyping by Trace Relaxation.

Laura Bocchi Andy King Maurizio Murgia

Published in: TACAS (1) (2024)

Keyphrases

probabilistic relaxation
objective function
asynchronous communication
neural network
information systems
multi agent
lagrangian relaxation
iterative algorithms
semidefinite
asynchronous circuits
discussion forums
delay insensitive
execution traces
state machines
data sets
online learning
databases