Michiel van Osch

Papers

Total Citations

H-Index

About

Michiel van Osch is a researcher whose work bridges the critical intersection of formal verification and robotics, with a particular focus on the reliability and practical deployment of autonomous and tele-operated systems. His key research areas include automated model-based testing, hybrid systems verification, and service robotics. Van Osch’s most significant contribution is his pioneering work on automated model-based testing of hybrid systems, where he developed methods to automatically generate and execute test cases from formal specifications. This approach ensures that a system’s observed outputs conform to its expected behavior, a crucial step for verifying the safety and correctness of complex, real-world systems. His seminal 2009 paper on this topic has garnered 50 citations, underscoring its foundational impact on the field of software testing. Van Osch also made notable contributions to service robotics, particularly through his work on the ROSE (tele-operated service robot) platform, which explores how robots can assist with household and care tasks. This research, published in 2013 with 37 citations, addresses the practical challenges of deploying robots in human environments, focusing on tele-operation as a bridge to full autonomy. His work is essential reading for students and researchers interested in ensuring that the next generation of autonomous systems are both capable and trustworthy.