Sarah Winkler
3 papers
· 2022–2024
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(14)
Conferences
AAAI (3)
Top co-authors
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)