James Ferlez
发表
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2020,
ArXiv.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2017,
EXPRESS/SOS.
Yasser Shoukry,
James Ferlez,
2020,
ArXiv.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2014,
FoSSaCS.
Yasser Shoukry,
Cody Fleming,
James Ferlez,
2020,
ArXiv.
Yasser Shoukry,
James Ferlez,
Yasser Shoukry,
2019,
HSCC.
Yasser Shoukry,
James Ferlez,
Xiaowu Sun,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers
pdf
Yasser Shoukry,
James Ferlez,
Ulices Santa Cruz,
2021,
2022 IEEE 61st Conference on Decision and Control (CDC).
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2021,
HSCC.
Yasser Shoukry,
Haitham Khedr,
James Ferlez,
2020,
CAV.
Yasser Shoukry,
James Ferlez,
2021,
ArXiv.