Bernd Finkbeiner
6 papers
· 2021–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Academic Marathon
(5)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(14)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
ICLR (2)
NIPS (2)
Top co-authors
Keywords
formal verification
(2)
temporal logic
(2)
knowledge distillation
(1)
approximation algorithm
(1)
formal language
(1)
model checking
(1)
specification mining
(1)
propositional satisfiability
(1)
linear temporal logic
(1)
circuit synthesis
(1)
alternating-time temporal logic
(1)
neuro-symbolic approach
(1)
control synthesis
(1)
attention-based architecture
(1)
neural network
(1)
concurrent game structure
(1)
safety controller
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
strategic ability
(1)