Spatial–temporal reasoning is an area of artificial intelligence which draws from the fields of computer science, cognitive science, and cognitive psychology. The theoretic goal—on the cognitive side—involves representing and reasoning spatial-temporal knowledge in mind. The applied goal—on the computing side—involves developing high-level control systems of automata for navigating and understanding time and space.
I think this is what Soham is working on using Reinforcement Learning. No, he is working on Reinforcement Learning. No, he is working on Signal Temporal Logic