Conference
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems