Serena S. Serbinowska

Identifiers

• name variant Serena S. Serbinowska 0.60 · backfill

Papers (3)

1. Formalizing Stateful Behavior Trees cs.RO · 2024 · author #1
2. Verification of Behavior Trees with Contingency Monitors cs.RO · 2024 · author #1
3. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees cs.RO · 2022 · author #1

Mentions

• 2411.14165 #1 · arxiv_oai · confidence 0.70 Serena S. Serbinowska
• 2411.14162 #1 · arxiv_oai · confidence 0.70 Serena S. Serbinowska
• 2208.05360 #1 · arxiv_oai · confidence 0.70 Serena S. Serbinowska

Frequent Coauthors

• Taylor T. Johnson 3 shared papers
• Anne M. Tumlin 1 shared papers
• Gabor Karsai 1 shared papers
• Nicholas Potteiger 1 shared papers
• Preston Robinette 1 shared papers