Academic

ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning

Research stay at AWS

Reinforcement Learning for Autonomous Accelerators

Talk at CERN on rule learning for RL agents

OFTEN-DeepRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents

LEGIBLE: Rule-Guided Reinforcement Learning Policy Evaluation and Improvement

Formal Verification of PLCs as a Service. A CERN-GSI Safety-Critical Case Study

Visit to Professor Ichiro Hasuo at the National Institute of Informatics

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Progression for Monitoring in Temporal ASP