Login / Signup
When COSTA Met KeY: Verified Cost Bounds.
Elvira Albert
Samir Genaim
Alicia Merayo
Guillermo Román-Díez
Published in:
The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
</>
lower bound
upper bound
artificial intelligence
bayesian networks
total cost
sum of squared errors
optimal cost
communication cost
error bounds
supply chain
support vector
objective function
multiscale
expected cost
production cost
cost reduction
e learning
real world