Hana Masara

According to our database, Hana Masara authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Generalizing neural network verification to the family of piece-wise linear activation functions.

László Antal, Erika Ábrahám, Hana Masara

Sci. Comput. Program., 2025

The Deceptive Dungeon: Bringing Deceptive Patterns to the Physical World.

Julian Wallerius, Pascal Raabe, Erik Østlyngen, Nuray Agaoglu, Lars vom Bruch, Siyan Chen, Mats Frenk, Yitong Guo, David Elias Chris Kopczynski, Hana Masara, Thomas Pollert, Shu Zhang, René Schäfer, Jan O. Borchers

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2025

2023

Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions.

László Antal, Hana Masara, Erika Ábrahám

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023