Christian Schilling

92 papers A* 3A 5B 5C 3Misc 1Journal 34Unranked 39

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