Andrey Kofnov

According to our database, Andrey Kofnov authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

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

2023

Density Elicitation with applications in Probabilistic Loops.

Andrey Kofnov, Ezio Bartocci, Efstathia Bura

CoRR, 2023

2022

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

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura

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