[PhD] Trustable Machine Learning : Analysis and Verification of Soft Automata
Learning automata from their traces has long been addressed from a purely logical perspective (e.g. Angluin’s L* algorithm), until neural architectures offered an amazing alternative : ground breaking performances, summoning models at the boundary between the continuous world and the discrete world, leveraging probabilistic approaches… but providing no guarantees on…
