Implementations of two algorithms for the threshold synthesis problem. - Jan-Georg Smaus; Christian Schilling 001; Fabian Wenzelmann (ISAIM, 2012)

A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. - Christian Schilling 001; Jan-Georg Smaus; Fabian Wenzelmann (IWOCA, 2013)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Sergiy Bogomolov; Christian Schilling 001; Ezio Bartocci; Grégory Batt; Hui Kong 004; Radu Grosu (Haifa Verification Conference, 2015)

HyRG: a random generation tool for affine hybrid automata. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (HSCC, 2015)

Runtime Verification for Hybrid Analysis Tools. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (RV, 2015)

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 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

High-level Hybrid Systems Analysis with Hypy. - Stanley Bak; Sergiy Bogomolov; Christian Schilling 001 (ARCH@CPSWeek, 2016)

Discrete Abstraction of Multiaffine Systems. - Hui Kong 004; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Thomas A. Henzinger; Yu Jiang 001; Christian Schilling 001 (HSB, 2016)

Adaptive moment closure for parameter inference of biochemical reaction networks. - Christian Schilling 001; Sergiy Bogomolov; Thomas A. Henzinger; Andreas Podelski; Jakob Ruess (Biosyst., 2016)

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. - Daniel Bryce; Sergiy Bogomolov; Alexander Heinz; Christian Schilling 001 (CoRR, 2016)

Invariant Clusters for Hybrid Systems. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (CoRR, 2016)

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. - Hui Kong 004; Sergiy Bogomolov; Christian Schilling 001; Yu Jiang 001; Thomas A. Henzinger (HSCC, 2017)

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). - Marius Greitschus; Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 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 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Minimization of Visibly Pushdown Automata Using Partial Max-SAT. - Matthias Heizmann; Christian Schilling 001; Daniel Tischner (TACAS (1), 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 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 001 (HSCC, 2018)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)

Fundamental techniques for the scalable analysis of systems. - Christian-Matthias Schilling (2018)

Membership-Based Synthesis of Linear Hybrid Automata. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001; Luka Zeleznik (CAV (1), 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 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

JuliaReach: a toolbox for set-based reachability. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (HSCC, 2019)

Semantic Fault Localization and Suspiciousness Ranking. - Maria Christakis; Matthias Heizmann; Muhammad Numair Mansur; Christian Schilling 001; Valentin Wüstholz (TACAS (1), 2019)

Hybrid automata: from verification to implementation. - Stanley Bak; Omar Ali Beg; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001 (Int. J. Softw. Tools Technol. Transf., 2019)

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 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 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 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Outside the Box: Abstraction-Based Monitoring of Neural Networks. - Thomas A. Henzinger; Anna Lukina; Christian Schilling 001 (ECAI, 2020)

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. - Marcelo Forets; Daniel Freire; Christian Schilling 001 (MEMOCODE, 2020)

Reachability Analysis of Linear Hybrid Systems via Block Decomposition. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

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 001; Stefan Schupp; Mark Wetzlinger (ARCH@ADHS, 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 001; et al. (ARCH@ADHS, 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 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

Synthesis of hybrid automata with affine dynamics from time-series data. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001 (HSCC, 2021)

Reachability of Weakly Nonlinear Systems Using Carleman Linearization. - Marcelo Forets; Christian Schilling 001 (RP, 2021)

Into the Unknown: Active Monitoring of Neural Networks. - Anna Lukina; Christian Schilling 001; Thomas A. Henzinger (RV, 2021)

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. - Fabian Bauer-Marquart; Stefan Leue; Christian Schilling 001 (CoRR, 2021)

LazySets.jl: Scalable Symbolic-Numeric Set Computations. - Marcelo Forets; Christian Schilling 001 (CoRR, 2021)

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

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 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 001; Mark Wetzlinger (ARCH@SAFECOMP, 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 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

Synthesis of Parametric Hybrid Automata from Time Series. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001 (ATVA, 2022)

Simulation Relations and Applications in Formal Methods. - Kim G. Larsen; Christian Schilling 001; Jirí Srba (Principles of Systems Design, 2022)

Conservative Time Discretization: A Comparative Study. - Marcelo Forets; Christian Schilling 001 (IFM, 2022)

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. - Fabian Bauer-Marquart; David Boetius; Stefan Leue; Christian Schilling 001 (SPIN, 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 001 (Inf. Comput., 2022)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Yangge Li; Sayan Mitra; Christian Schilling 001; Mark Wetzlinger; Daniel Zhuang (ARCH, 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 001; Mark Wetzlinger; et al. (ARCH, 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 001 (ARCH, 2023)

symQV: Automated Symbolic Verification of Quantum Programs. - Fabian Bauer-Marquart; Stefan Leue; Christian Schilling 001 (FM, 2023)

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. - Niklas Kochdumper; Christian Schilling 001; Matthias Althoff; Stanley Bak (NFM, 2023)

Safety Verification of Decision-Tree Policies in Continuous Time. - Christian Schilling 001; Anna Lukina; Emir Demirovic; Kim Guldstrand Larsen (NeurIPS, 2023)

Shielded Reinforcement Learning for Hybrid Systems. - Asger Horn Brorholt; Peter Gjøl Jensen; Kim Guldstrand Larsen; Florian Lorber; Christian Schilling 001 (AISoLA, 2023)

The Inverse Problem for Neural Networks. - Marcelo Forets; Christian Schilling 001 (AISoLA, 2023)

The Reachability Problem for Neural-Network Control Systems. - Christian Schilling 001; Martin Zimmermann 002 (AISoLA (Selected Papers), 2023)

Into the unknown: active monitoring of neural networks (extended version). - Konstantin Kueffner; Anna Lukina; Christian Schilling 001; Thomas A. Henzinger (Int. J. Softw. Tools Technol. Transf., 2023)

Efficient Shield Synthesis via State-Space Transformation. - Asger Horn Brorholt; Andreas Holck Høeg-Petersen; Kim Guldstrand Larsen; Christian Schilling 001 (AISoLA, 2024)

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (CoRR, 2024)

Verified propagation of imprecise probabilities in non-linear ODEs. - Ander Gray; Marcelo Forets; Christian Schilling 001; Scott Ferson; Luis Benet (Int. J. Approx. Reason., 2024)

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

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems. - Asger Horn Brorholt; Kim Guldstrand Larsen; Christian Schilling 001 (AAMAS, 2025)

Composing Reinforcement Learning Policies, with Formal Guarantees. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (AAMAS, 2025)