Christian Schilling

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

Christian Schilling, Marcelo Forets, Sebastián Guadalupe · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 33 citations · Full text

Engineering, Computer Science, Systems Engineering +16

Enhancement of the MONERIS Model for Application in Alpine Catchments in Austria

Matthias Zessner, Ádám Kovács, Christian Schilling et al. · International Review of Hydrobiology · 2011 · 23 citations

Natural Resources, Earth Sciences, Hydrology +17

Hybrid automata: from verification to implementation

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov et al. · International Journal on Software Tools for Technology Transfer · 2017 · 23 citations

Computing, Computer Engineering, Computer Science +11

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Hui Kong, Sergiy Bogomolov, Christian Schilling et al. · 2017 · 19 citations

Natural Sciences, Mathematics, Systems Engineering +17

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Matthias Althoff, Luis Benet et al. · EPiC series in computing · 2022 · 18 citations · Full text

Computing, Computer Science, Systems Engineering +15