Jasdeep Singh

Papers

Total Citations

H-Index

About

Jasdeep Singh is a rising researcher in formal methods and robotics, whose work focuses on bridging the gap between high-level task specifications and real-world system execution. His primary research areas include temporal logic, behavior trees, and specification mining for autonomous systems. Singh’s most notable contribution is the introduction of **Temporal Behavior Trees (TBTs)** , a novel specification formalism that extends standard behavior trees—widely used in robotic programming—with temporal reasoning capabilities. In his 2024 paper, he developed a robustness metric for TBTs and pioneered the concept of **trace segmentation**, which optimally splits execution traces into meaningful subsegments based on a given specification. This work enables more precise monitoring and debugging of robotic behaviors. Though early in his career, his paper has already garnered 3 citations, signaling growing interest in his approach. Singh’s research promises to make robotic systems more reliable and verifiable, offering practical tools for engineers to ensure that autonomous agents behave correctly over time.