Andreas Katis
Papers
1
Total Citations
2
H-Index
1
About
Andreas Katis is a researcher whose work lies at the intersection of formal methods, synthesis, and probabilistic systems. His primary research focuses on the synthesis of infinite-state systems, particularly those exhibiting random or diverse behaviors—a critical challenge in domains ranging from robotics to autonomous decision-making. Katis’s major contribution is a novel approach to synthesizing conformant implementations by discovering probabilistic Skolem functions, moving beyond traditional deterministic methods to ensure systems can adapt to uncertain environments. His 2020 paper, "Synthesis of infinite-state systems with random behavior," has garnered 2 citations, reflecting its foundational role in advancing the theory of probabilistic synthesis. By enabling the automatic generation of systems that balance correctness with behavioral diversity, Katis has opened new avenues for reliable yet flexible system design. His work is notable for bridging the gap between formal verification and practical engineering, offering tools that help researchers and students alike tackle the complexities of modern, unpredictable computing environments.
Research Focus
Key Achievements
Top Papers
- 1Synthesis of infinite-state systems with random behavior2 citations · 2020