Andrey Kofnov

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

Collaborative distances:

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

2023

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

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

CoRR, 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