conftrace_

Guy Katz

5 papers · 2024–2025 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) ❓ The Questioner

Conferences

ICML (3) AAAI (1) AISTATS (1)

Top co-authors

Shahaf Bassan (4) Guy Amir (3) Tobias Ladner (1) Andoni Rodríguez (1) Yizhak Yisrael Elboher (1) Reda Marzouk (1) Matthias Althoff (1) Meirav Zehavi (1) Davide Corsi (1) De la Higuera (1)

Keywords

formal verification (1) discrete mathematics (1) temporal logic (1) linear temporal logic (1) reactive synthesis (1) safety-critical system (1) shield synthesis (1) safety specification (1)

Papers

Shield Synthesis for LTL Modulo Theories AAAI 2025 On the Computational Tractability of the (Many) Shapley Values AISTATS 2025 What makes an Ensemble (Un) Interpretable? ICML 2025 Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations ICML 2025 Local vs. Global Interpretability: A Computational Complexity Perspective ICML 2024