Serena Serafina Serbinowska

Orcid: 0000-0002-9259-1586

According to our database1, Serena Serafina Serbinowska authored at least 4 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2022
2023
2024
0
1
2
3
4
1
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formalizing Stateful Behavior Trees.
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Verification of Behavior Trees with Contingency Monitors.
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.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2022
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.
CoRR, 2022


  Loading...