Anton Tarasyuk
Papers
1
Total Citations
13
H-Index
1
About
Anton Tarasyuk’s research centers on the formal verification and quantitative assessment of resilient multi-robotic systems, blending rigorous mathematical modeling with practical engineering challenges. His most-cited work, “Formal Development and Quantitative Assessment of a Resilient Multi-robotic System” (2013), has garnered 13 citations, establishing a foundation for ensuring reliability in autonomous robotic networks. Tarasyuk’s major contribution lies in developing formal methods—such as probabilistic model checking and stochastic analysis—to evaluate system resilience under uncertainty, enabling designers to predict and mitigate failures in multi-agent coordination. This approach bridges theoretical computer science and robotics, offering tools to guarantee safety and performance in critical applications like search-and-rescue or industrial automation. Beyond this seminal paper, his broader portfolio explores fault tolerance and adaptive behavior in distributed systems, influencing both academic research and practical implementations. Tarasyuk’s work is notable for its interdisciplinary impact, providing a blueprint for rigorous, quantifiable design in autonomous systems—a vital step toward trustworthy robotics in real-world environments.
Research Focus
Key Achievements
Top Papers
- 1