I am a PhD student at Vienna University of Technology, working in the Cyber-Physical System Group under the supervision of Prof. Radu Grosu...
My research consists of investigation of learning approaches able to cope with safety-critical environments, under strict operational constraints...
The target of my work is the enforcement of formal requirements on the behavior emergent by automated learning approaches, specifically reinforcement learning.