Samuel Teuber
2 papers
· 2024–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(9)
π
Interdisciplinary Bridge
Conferences
AAAI (1)
NIPS (1)
Top co-authors
Keywords
causal inference
(1)
algorithmic fairness
(1)
formal methods
(1)
formal verification
(1)
neural network verification
(1)
differential dynamic logic
(1)
cyber-physical system
(1)
infinite-time safety
(1)
hybrid system
(1)
causal model
(1)
counterfactual fairness
(1)
information flow
(1)
demographic parity
(1)
safety-critical system
(1)
polynomial real arithmetic
(1)
secure information flow
(1)