Christian Schilling
Universität Konstanz
H-index: 17
Europe-Germany
Top articles of Christian Schilling
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verified propagation of imprecise probabilities in non-linear ODEs | International Journal of Approximate Reasoning | Ander Gray Marcelo Forets Christian Schilling Scott Ferson Luis Benet | 2024/1/1 |
Safety Verification of Decision-Tree Policies in Continuous Time | Advances in Neural Information Processing Systems | Christian Schilling Anna Lukina Emir Demirović Kim Larsen | 2024/2/13 |
Open- and closed-loop neural network verification using polynomial zonotopes | Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak | 2023/5/16 | |
symQV: Automated Symbolic Verification of Quantum Programs | Fabian Bauer-Marquart Stefan Leue Christian Schilling | 2023/3/3 | |
Shielded reinforcement learning for hybrid systems | Asger Horn Brorholt Peter Gjøl Jensen Kim Guldstrand Larsen Florian Lorber Christian Schilling | 2023/10/23 | |
The inverse problem for neural networks | Marcelo Forets Christian Schilling | 2023/10/23 | |
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | Diego Manzanas Lopez Patrick Musau Hoang-Dung Tran Souradeep Dutta Taylor J Carpenter | 2019/4/15 | |
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | Proceedings of 10th International Workshop on Applied | Luca Geretti Julien Alexandre dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2023/10/18 |
Model Checking Software-29th International Symposium: SPIN 2023 | Georgiana Caltais Christian Schilling | 2023 | |
Into the unknown: active monitoring of neural networks (extended version) | International Journal on Software Tools for Technology Transfer | Konstantin Kueffner Anna Lukina Christian Schilling Thomas A Henzinger | 2023/8 |
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks | Fabian Bauer-Marquart David Boetius Stefan Leue Christian Schilling | 2022 | |
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) | Information and Computation | Sergiy Bogomolov Marcelo Forets Goran Frehse Andreas Podelski Christian Schilling | 2022/11/1 |
Conservative time discretization: a comparative study | Marcelo Forets Christian Schilling | 2022 | |
Synthesis of parametric hybrid automata from time series | Miriam García Soto Thomas A Henzinger Christian Schilling | 2022/10/21 | |
Verification of neural-network control systems by integrating taylor models and zonotopes | Proceedings of the AAAI Conference on Artificial Intelligence | Christian Schilling Marcelo Forets Sebastián Guadalupe | 2022/6/28 |
Simulation Relations and Applications in Formal Methods | Kim G Larsen Christian Schilling Jiří Srba | 2022/12/29 | |
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | Luca Geretti Julien Alexandre Dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2022 | |
Rigorous time evolution of p-boxes in non-linear ODEs | Ander Gray Marcelo Forets Christian Schilling Luis Benet Scott Ferson | 2022 | |
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | Proceedings of 9th International Workshop on Applied | Diego Manzanas Lopez Matthias Althoff Luis Benet Xin Chen Jiameng Fan | 2022/12/13 |
Synthesis of hybrid automata with affine dynamics from time-series data | Miriam García Soto Thomas A Henzinger Christian Schilling | 2021/5/19 |