Faezeh Labbaf

According to our database, Faezeh Labbaf authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Space Explanations of Neural Network Classification.

Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

Compositional Learning for Interleaving Parallel Automata (CL-Star).

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Dataset, April, 2023

Compositional Learning for Interleaving Parallel Automata.

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Proceedings of the Foundations of Software Science and Computation Structures, 2023