Rim Saddem
Papers
1
Total Citations
6
H-Index
1
About
Rim Saddem is a researcher whose work lies at the intersection of formal verification, mobile robotics, and spatial reasoning. Her key contributions focus on developing rigorous methods to ensure the reliability of autonomous systems, particularly in precision agriculture and mobile machinery. In her most cited work, "Decomposing the model-checking of mobile robotics actions on a grid" (2017, 6 citations), Saddem addresses a critical challenge: verifying that robots or automated agricultural machines correctly execute spatially-dependent actions based on sensor data or mission maps. She proposes a decomposition approach to model-checking that handles both spatial constraints and action sequences, enabling more efficient verification of complex mobile behaviors. This work is foundational for designing trustworthy autonomous systems that must navigate and act in dynamic environments. Though her citation count is modest, her contributions are significant for practitioners developing safety-critical mobile robotics, particularly in agriculture, where precision and reliability are paramount. Saddem’s research bridges theoretical formal methods with practical engineering challenges, offering tools to ensure that autonomous machines operate correctly in the real world.
Research Focus
Key Achievements
Top Papers
- 1Decomposing the model-checking of mobile robotics actions on a grid6 citations · 2017