Christian Schilling
3 papers
· 2022–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(10)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
NIPS (1)
Top co-authors
Keywords
decision tree policy
(2)
formal verification
(2)
decision tree
(1)
neural network verification
(1)
safety verification
(1)
model checking
(1)
search algorithm
(1)
policy synthesis
(1)
neural network controller
(1)
black-box system
(1)
reachability analysis
(1)
interpretable policy
(1)
taylor model
(1)
control system
(1)
set-based approximation
(1)
reachable state
(1)
continuous time
(1)