My focus is on automated reasoning systems based on Markov Decision Processes in combination with temporal logics, for planning and runtime monitoring purposes. This is driven by applications for situational awareness in industrial operations, such as factory floors and supply chains.