Valentin Krasotin

According to our database, Valentin Krasotin authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Regular Model Checking for Systems with Effectively Regular Reachability Relation.

Javier Esparza, Valentin Krasotin

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

dodo.

Christoph Welzel-Mohr, Valentin Krasotin, Philipp Czerner, Javier Esparza

Dataset, July, 2024

A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner, Javier Esparza, Valentin Krasotin

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr

Proceedings of the 35th International Conference on Concurrency Theory, 2024