Andrey Kofnov

Orcid: 0000-0002-1734-2918

According to our database¹, Andrey Kofnov authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs.

[BibT_eX]

[DOI]

CoRR, February, 2025

2024

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., July, 2024

2023

Density Elicitation with applications in Probabilistic Loops.

[BibT_eX]

[DOI]

Andrey Kofnov

Ezio Bartocci

Efstathia Bura

CoRR, 2023

2022

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Andrey Kofnov

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...