Skip to content

The Simulator's Blueprint: Automata Learning from Cybersecurity Logs.

Tudor Braicu, Benjamin Ylvisaker, Nicolas A. Espinosa Dice, Yiding Chen, Yiyi Zhang, Nate Foster, Hossein Hojjat

VenueA*CAV
Year2026
ProceedingsCAV (1)

Browse the full CAV paper archive.