27 January 2022

Verifiability Talk 26: “A New Approach for Active Automata Learning Based on Apartness”

Speaker: Frits Vaandrager (Radboud University)
Title: “A New Approach for Active Automata Learning Based on Apartness”
Date: 27/01/2022 – Meeting Link
Time: 16:00-17:00 (UTC (GMT))