Christian Schilling

According to our database, Christian Schilling authored at least 64 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verified propagation of imprecise probabilities in non-linear ODEs.

Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, Luis Benet

Int. J. Approx. Reason., January, 2024

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.

Emir Demirovic, Christian Schilling, Anna Lukina

CoRR, 2024

Efficient Shield Synthesis via State-Space Transformation.

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling

CoRR, 2024

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez

CoRR, 2024

2023

Into the unknown: active monitoring of neural networks (extended version).

Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger

Int. J. Softw. Tools Technol. Transf., August, 2023

The Reachability Problem for Neural-Network Control Systems.

Christian Schilling, Martin Zimmermann

Proceedings of the Bridging the Gap Between AI and Reality, 2023

The Inverse Problem for Neural Networks.

Marcelo Forets, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Shielded Reinforcement Learning for Hybrid Systems.

Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Safety Verification of Decision-Tree Policies in Continuous Time.

Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.

Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

symQV: Automated Symbolic Verification of Quantum Programs.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

Proceedings of the Formal Methods - 25th International Symposium, 2023

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

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling

Inf. Comput., 2022

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.

Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Conservative Time Discretization: A Comparative Study.

Marcelo Forets, Christian Schilling

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Simulation Relations and Applications in Formal Methods.

Kim G. Larsen, Christian Schilling, Jirí Srba

Proceedings of the Principles of Systems Design, 2022

Synthesis of Parametric Hybrid Automata from Time Series.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Proceedings of the Automated Technology for Verification and Analysis, 2022

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, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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

Christian Schilling, Marcelo Forets, Sebastián Guadalupe

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

LazySets.jl: Scalable Symbolic-Numeric Set Computations.

Marcelo Forets, Christian Schilling

CoRR, 2021

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

CoRR, 2021

Into the Unknown: Active Monitoring of Neural Networks.

Anna Lukina, Christian Schilling, Thomas A. Henzinger

Proceedings of the Runtime Verification - 21st International Conference, 2021

Reachability of Weakly Nonlinear Systems Using Carleman Linearization.

Marcelo Forets, Christian Schilling

Proceedings of the Reachability Problems - 15th International Conference, 2021

Synthesis of hybrid automata with affine dynamics from time-series data.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

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

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Reachability Analysis of Linear Hybrid Systems via Block Decomposition.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.

Marcelo Forets, Daniel Freire, Christian Schilling

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Outside the Box: Abstraction-Based Monitoring of Neural Networks.

Thomas A. Henzinger, Anna Lukina, Christian Schilling

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Hybrid automata: from verification to implementation.

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Int. J. Softw. Tools Technol. Transf., 2019

Semantic Fault Localization and Suspiciousness Ranking.

Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

JuliaReach: a toolbox for set-based reachability.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Membership-Based Synthesis of Linear Hybrid Automata.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Fundamental techniques for the scalable analysis of systems.

Christian-Matthias Schilling

PhD thesis, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Minimization of Visibly Pushdown Automata Using Partial Max-SAT.

Matthias Heizmann, Christian Schilling, Daniel Tischner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Invariant Clusters for Hybrid Systems.

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger

CoRR, 2016

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.

Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling

CoRR, 2016

Adaptive moment closure for parameter inference of biochemical reaction networks.

Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess

Biosyst., 2016

Discrete Abstraction of Multiaffine Systems.

Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

High-level Hybrid Systems Analysis with Hypy.

Stanley Bak, Sergiy Bogomolov, Christian Schilling

Proceedings of the ARCH@CPSWeek 2016, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

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

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Runtime Verification for Hybrid Analysis Tools.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the Runtime Verification - 6th International Conference, 2015

HyRG: a random generation tool for affine hybrid automata.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.

Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem.

Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann

Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

2012

Implementations of two algorithms for the threshold synthesis problem.

Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012