Gert Kanter

Papers

Total Citations

H-Index

About

Gert Kanter is a researcher at the forefront of **model-based testing** and **formal verification** for **autonomous robotic systems**, with a particular focus on **agricultural robotics** and **AgriTech**. His work bridges the critical gap between theoretical software engineering and the practical challenges of deploying reliable robots in the field. Kanter’s major contribution lies in developing and applying **black-box testing technologies** to ensure the correctness of complex, integrated robotic software. His 2015 paper on model-based integration testing of ROS packages (8 citations) pioneered a method to systematically verify navigation and localization software for mobile robots, providing a rigorous framework for catching integration faults early. He extended this approach to the domain of **Agriculture 4.0** in his 2019 work (6 citations), where he addressed the critical problem of **provably correct configuration management** for precision feeding systems, ensuring that farm layouts and robot maneuvers are verified for safety and efficiency both at design time and during operation. His most cited work, "Model-based testing of autonomous robots using TestIt" (2020, 9 citations), further solidifies his reputation for creating practical, executable testing tools. Kanter’s research is essential for building trust in autonomous systems, ensuring that robots in sensitive environments like farms operate reliably and correctly.