Serena Serafina Serbinowska

According to our database, Serena Serafina Serbinowska authored at least 8 papers between 2022 and 2025.

Collaborative distances:

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

2025

Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification.

Serena Serafina Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

2024

2024 SEFM Artifact for BehaVerify (Formalizing Stateful Behavior Trees).

Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor Thomas Johnson

Dataset, July, 2024

Formalizing Stateful Behavior Trees.

Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Verification of Behavior Trees with Contingency Monitors.

Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.

Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees).

Serena Serbinowska, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai, Taylor T. Johnson

Dataset, September, 2023

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees).

Serena Serbinowska, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai, Taylor T. Johnson

Dataset, September, 2023

2022

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.

Serena Serafina Serbinowska, Taylor T. Johnson

CoRR, 2022