Samuel Teuber
2 papers · 2024–2024 · 2 venues · 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
Venues
Top co-authors
Research topics
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)