ELLIS Delft Talk by Anna Lukina: Decision Trees, Controllers, and Formal Methods

26 september 2023 16:00 t/m 17:00 - Locatie: Hybrid: Building 28, Room Turing (0.E420) / Zoom - Door: ELLIS Delft | Zet in mijn agenda

by Anna Lukina | Delft University of Technology


In this talk, we motivate our discussion with applications of decision tree learning in verification of neural-network based controllers. Revisiting verification of decision trees distilled from such controllers, we explore scalability of this approach with respect to the tree size. This discussion is based on "Formal Methods with a Touch of Magic" (FMCAD'20) and recent experiments. We then discuss open problems in formal methods for AI-controlled systems and blue-sky ideas.

About ELLIS Delft Talks

This is a monthly series, usually hosted hybrid. This meeting is open for all interested researchers, and we especially welcome all PhD students and postdocs that are associated with the ELLIS Delft unit. If you have ideas about ways to make these talks more engaging for you, please let us know your suggestions.