Learning Broadcast Protocols with LeoParDS
ATVA'24
Noa Izsak, Dana Fisman, and Swen Jacobs
[ Paper] [ Cite] [ Code] [Proceedings]
Noa Izsak
Doctoral Researcher at the CISPA Helmholtz Center for Information Security and Ph.D. student at Saarland University. My research focuses on formal methods and verification in distributed and concurrent systems, exploring how learning and grammatical inference can support trustworthy AI. Read more ›