Jeremy Morse
Papers
1
Total Citations
5
H-Index
1
About
Jeremy Morse’s research lies at the intersection of formal methods, autonomous systems, and requirements engineering, with a focus on ensuring safety and correctness in complex, partially predictable environments. His most-cited work, “Formal Specification and Analysis of Autonomous Systems under Partial Compliance” (2016, 5 citations), addresses a critical challenge: how to guarantee functional correctness when autonomous systems must operate under incomplete or imperfect adherence to non-functional requirements. Morse introduced formal frameworks that allow designers to reason about trade-offs between safety and performance at both design time and runtime, providing a rigorous basis for verification even when full compliance is unattainable. This contribution is foundational for the safe deployment of self-driving vehicles, drones, and other autonomous platforms where real-world uncertainty is inevitable. While his citation count is modest, the work’s impact is amplified by its direct relevance to pressing industry needs and its integration into broader formal methods research. Morse’s approach—blending mathematical rigor with practical engineering constraints—has influenced subsequent studies on runtime monitoring and adaptive systems. For students and researchers, his work exemplifies how formal specification can bridge the gap between theoretical guarantees and the messy realities of autonomous operation.
Research Focus
Key Achievements
Top Papers
- 1