Alice in Wineland: A Fairy Tale with Contracts.

Dilian Gurov Christian Lidström Philipp Rümmer

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

supply chain
adverse selection
data sets
neural network
single user
real time
website
search algorithm
moral hazard