Serena S. Serbinowska
Papers
2
Total Citations
12
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 12 citations
Variety (cybernetics)1 · 8 citations
Tree (set theory)1 · 8 citations
Artificial intelligence1 · 8 citations
Counterexample1 · 8 citations
Model checking1 · 8 citations
Process (computing)1 · 8 citations
Programming language1 · 8 citations
Robot1 · 8 citations
Robotics1 · 8 citations
Task (project management)1 · 8 citations
Temporal logic1 · 8 citations
Key Achievements
2
H-Index
2
Papers
12
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
8 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Vanderbilt University
Top Papers
- 1BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees8 citations · 2022
- 2Formalizing Stateful Behavior Trees4 citations · 2024
Key Collaborators
Not generated yet