C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reasoning About Promises in Weak Memory Models with Event Structures.
Heike Wehrheim
Lara Bargmann
Brijesh Dongol
Published in:
FM (2023)
Keyphrases
</>
probabilistic model
database
data sets
statistical models
multi agent
model selection
machine learning algorithms
accurate models
structural models