Christian Schilling

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 76

Top Topics

Unsatisfiable Cores

Imprecise Probabilities

Top Venues

Publications

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling
Efficient Shield Synthesis via State-Space Transformation. CoRR (2024)
Christian Schilling, Martin Zimmermann
The Reachability Problem for Neural-Network Control Systems. CoRR (2024)
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR (2024)
Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, Luis Benet
Verified propagation of imprecise probabilities in non-linear ODEs. Int. J. Approx. Reason. 164 (2024)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. FM (2023)
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. AISoLA (2023)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. CoRR (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Marcelo Forets, Christian Schilling
The inverse problem for neural networks. CoRR (2023)
Marcelo Forets, Christian Schilling
The Inverse Problem for Neural Networks. AISoLA (2023)
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS (2023)
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
Implementations of two Algorithms for the Threshold Synthesis Problem. CoRR (2023)
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Kim G. Larsen, Christian Schilling, Jirí Srba
Simulation Relations and Applications in Formal Methods. Principles of Systems Design (2022)
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP (2022)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR (2022)
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN (2022)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. CoRR (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. ATVA (2022)
Marcelo Forets, Christian Schilling
Conservative Time Discretization: A Comparative Study. IFM (2022)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289 (Part) (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. CoRR (2022)
Christian Schilling, Marcelo Forets, Sebastián Guadalupe
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. AAAI (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@SAFECOMP (2022)
Marcelo Forets, Christian Schilling
Conservative Time Discretization: A Comparative Study. CoRR (2021)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. CoRR (2021)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. CoRR (2021)
Christian Schilling, Marcelo Forets, Sebastián Guadalupe
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. CoRR (2021)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the Unknown: Active Monitoring of Neural Networks. RV (2021)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of hybrid automata with affine dynamics from time-series data. HSCC (2021)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Marcelo Forets, Christian Schilling
Reachability of weakly nonlinear systems using Carleman linearization. CoRR (2021)
Marcelo Forets, Christian Schilling
Reachability of Weakly Nonlinear Systems Using Carleman Linearization. RP (2021)
Marcelo Forets, Christian Schilling
LazySets.jl: Scalable Symbolic-Numeric Set Computations. CoRR (2021)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: Active monitoring of neural networks. CoRR (2020)
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI (2020)
Marcelo Forets, Daniel Freire, Christian Schilling
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. CoRR (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Marcelo Forets, Daniel Freire, Christian Schilling
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. MEMOCODE (2020)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a toolbox for set-based reachability. HSCC (2019)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis of linear hybrid systems via block decomposition. CoRR (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability. CoRR (2019)
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) (2019)
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR (2019)
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) (2019)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC (2018)
Matthias Heizmann, Christian Schilling, Daniel Tischner
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. CoRR (2017)
Matthias Heizmann, Christian Schilling, Daniel Tischner
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. TACAS (1) (2017)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC (2017)
Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149 (2016)
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
Discrete Abstraction of Multiaffine Systems. HSB (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
Invariant Clusters for Hybrid Systems. CoRR (2016)
Stanley Bak, Sergiy Bogomolov, Christian Schilling
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek (2016)
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. CoRR (2016)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
HyRG: a random generation tool for affine hybrid automata. HSCC (2015)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
Runtime Verification for Hybrid Analysis Tools. RV (2015)
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference (2015)
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB (2015)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann
A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. IWOCA (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
Implementations of two algorithms for the threshold synthesis problem. ISAIM (2012)