Download

Share

COinS
 

Safe by Construction, Personalized by Design: Formal Methods Meet Human Feedback for Safe and Adaptive Autonomous Systems Behavior