Schilling, Christian

3 publications

AAAI 2025 In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search Emir Demirovic, Christian Schilling, Anna Lukina

NeurIPS 2023 Safety Verification of Decision-Tree Policies in Continuous Time Christian Schilling, Anna Lukina, Emir Demirović, Kim Larsen

AAAI 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling, Marcelo Forets, Sebastián Guadalupe