Andreas Griesmayer

Centre National de la Recherche Scientifique, Graz University of Technology

Papers

Total Citations

H-Index

About

Andreas Griesmayer is a researcher whose work bridges formal methods and autonomous systems, with a primary focus on the verification and reliable construction of control software. His most cited paper, "A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems" (2011, 11 citations), introduces a rigorous, stepwise methodology for building dependable robotic systems, demonstrating how formal verification can be practically applied to ensure correctness during development. This work stands out for its concrete application to autonomous robotics, addressing the critical challenge of ensuring safety and reliability in complex, dynamic environments. Griesmayer’s earlier case study on formal verification of control software (2005, 2 citations) further underscores his commitment to bridging theoretical formal methods with real-world engineering. While his citation counts reflect a focused, niche impact, his contributions are significant for researchers and students interested in the intersection of formal verification, software engineering, and robotics—offering a blueprint for constructing trustworthy autonomous systems through incremental, formally grounded design.