VERDES HECTOR LUIS PALACIOS

Methods and systems for active diagnosis through logic-based planning