Login / Signup
Andrey Kofnov
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Probabilistic Approaches
Uncertain Data
Orthogonal Polynomials
Zernike Moments
Top Venues
CoRR
QEST
</>
Publications
</>
Andrey Kofnov
,
Marcel Moosbrugger
,
Miroslav Stankovic
,
Ezio Bartocci
,
Efstathia Bura
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
CoRR
(2023)
Andrey Kofnov
,
Ezio Bartocci
,
Efstathia Bura
Density Elicitation with applications in Probabilistic Loops.
CoRR
(2023)
Andrey Kofnov
,
Marcel Moosbrugger
,
Miroslav Stankovic
,
Ezio Bartocci
,
Efstathia Bura
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.
CoRR
(2022)
Andrey Kofnov
,
Marcel Moosbrugger
,
Miroslav Stankovic
,
Ezio Bartocci
,
Efstathia Bura
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.
QEST
(2022)