Mario Gleirscher
Papers
11
Total Citations
199
H-Index
7
About
Mario Gleirscher is a prominent researcher specializing in formal methods, safety assurance, and human-robot collaboration, with a particular focus on the intersection of software verification and autonomous systems. His work addresses some of the most pressing challenges in deploying collaborative robots safely in industrial environments. Gleirscher's most influential contribution — a modular digital twinning framework for safety assurance in collaborative robotics (61 citations) — pioneered new ways to design, test, and monitor real-world robotic processes through virtual simulation. Complementing this, his research on safety-security co-assurance (30 citations) and verified synthesis of optimal safety controllers (25 citations) has advanced rigorous, tool-supported methods for building trustworthy human-robot interaction systems. His 2019 survey on integrated formal methods (24 citations) synthesized the state of dependability assurance, highlighting how formal techniques can be practically applied beyond academia. Further contributions include the RiskStructures design algebra for risk-aware machines and the YAP toolset, which bridges hazard analysis with automated controller design. Collectively accumulating nearly 200 citations, Gleirscher's body of work has meaningfully shaped how researchers and engineers approach safety verification in autonomous and collaborative robotic systems, making rigorous formal assurance more accessible and deployable in real-world manufacturing contexts.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4New Opportunities for Integrated Formal Methods24 citations · 2019
- 5Evolution of Formal Model-Based Assurance Cases for Autonomous Robots20 citations · 2019
- 6Safety Controller Synthesis for Collaborative Robots14 citations · 2020
- 7
- 8<scp>RiskStructures</scp> : A design algebra for risk-aware machines7 citations · 2021
- 9
- 10