Mengjia Zhu

Mengjia Zhu

Research Fellow at UoL. My current research interests include black-box optimization and control, with particular emphasis on active, preference, and safe learning.

Specification-guided critical scenario identification for automated driving

Published in 25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, 2022

A. Molin, E. Aguilar, D. Nickovic, M. Zhu, A. Bemporad, and H. Esen link