Picture for Hadar Frenkel

Hadar Frenkel

Monitoring Second-Order Hyperproperties

Add code
Apr 15, 2024
Viaarxiv icon

Inferring Symbolic Automata

Add code
Nov 12, 2020
Figure 1 for Inferring Symbolic Automata
Figure 2 for Inferring Symbolic Automata
Viaarxiv icon