Andrey Kofnov
Orcid: 0000-0002-1734-2918
According to our database1,
Andrey Kofnov
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
CoRR, 2023
2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022