Sarah Winkler
3 papers · 2022–2024 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Keywords
formal verification
(3)
model checking
(2)
automata theory
(1)
finite trace
(1)
linear arithmetic
(1)
runtime monitoring
(1)
cover computation
(1)
linear-time logic
(1)
infinite-state system
(1)
data-aware system
(1)
data-aware dynamic system
(1)
finite-state abstraction
(1)
linear-time property
(1)
finite abstraction
(1)
temporal logic
(1)