A Program Logic for Union Bounds.
Gilles BartheMarco GaboardiBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: ICALP (2016)
Keyphrases
- upper bound
- lower bound
- worst case
- logic programming
- neural network
- declarative semantics
- upper and lower bounds
- recursive programs
- programs written
- automated reasoning
- database
- modal logic
- error bounds
- test cases
- average case
- classical logic
- computational properties
- defeasible logic
- functional programs
- genetic algorithm
- advanced research projects agency