1 paper
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone +2
We introduce a novel learning-based approach to synthesize safe and robust controllers for autonomous Cyber-Physical Systems and, at the same time, to generate challenging tests. T…