Formalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022
Publications
Date
Featured collections
Popular topics
32 results for Barry Trager
General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Computation of topological invariants for real projective surfaces with isolated singularities
- E. Fortuna
- P. Gianni
- et al.
- 2015
- Journal of Symbolic Computation
Analysis and real-time prediction of local incident impact on transportation networks
- Yuye He
- Sebastien Blandin
- et al.
- 2014
- ICDMW 2014
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
- Alexey Lvov
- Luis A. Lastras-Montaño
- et al.
- 2014
- Formal Methods in System Design
Hybrid halftoning using direct multi-bit search (DMS) screen algorithm
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2014
- CI-DPHA 2014
A Riesz energy based approach to generating dispersed dot patterns for halftoning applications
- Chai Wah Wu
- Barry Trager
- et al.
- 2014
- CI-DPHA 2014
A GPU based implementation of Direct multi-bit search (DMS) screen algorithm
- Barry Trager
- Kartheek Chandu
- et al.
- 2013
- IS&T/SPIE Electronic Imaging 2013
Direct binary search (DBS) algorithm with constraints
- Kartheek Chandu
- Mikel Stanich
- et al.
- 2013
- CI-DPHA 2013