JuliaReach: a toolbox for set-based reachability. Zbl 1542.93019
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian |
|
2019
|
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian |
|
2018
|
Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A. |
|
2017
|
The quantum marginal problem. Zbl 1339.81104
Schilling, C. |
|
2015
|
Membership-based synthesis of linear hybrid automata. Zbl 1533.68158
García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka |
|
2019
|
Conservative time discretization: a comparative study. Zbl 1504.93022
Forets, Marcelo; Schilling, Christian |
|
2022
|
An effective solution to convex 1-body \(N\)-representability. Zbl 1530.81148
Castillo, Federico; Labbé, Jean-Philippe; Liebert, Julia; Padrol, Arnau; Philippe, Eva; Schilling, Christian |
|
2023
|
Discrete abstraction of multiaffine systems. Zbl 1428.92040
Kong, Hui; Bartocci, Ezio; Bogomolov, Sergiy; Grosu, Radu; Henzinger, Thomas A.; Jiang, Yu; Schilling, Christian |
|
2016
|
Fermionic systems for quantum information people. Zbl 1519.81120
Szalay, Szilárd; Zimborás, Zoltán; Máté, Mihály; Barcza, Gergely; Schilling, Christian; Legeza, Örs |
|
2021
|
Reachability of weakly nonlinear systems using Carleman linearization. Zbl 07670974
Forets, Marcelo; Schilling, Christian |
|
2021
|
Minimization of visibly pushdown automata using partial Max-SAT. Zbl 1452.68107
Heizmann, Matthias; Schilling, Christian; Tischner, Daniel |
|
2017
|
Duality of reduced density matrices and their eigenvalues. Zbl 1301.81373
Schilling, Christian; Schilling, Rolf |
|
2014
|
SpecRepair: counter-example guided safety repair of deep neural networks. Zbl 1514.68119
Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian |
|
2022
|
Synthesis of hybrid automata with affine dynamics from time-series data. Zbl 07807675
Soto, Miriam García; Henzinger, Thomas A.; Schilling, Christian |
|
2021
|
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg-Kohn theorem to convexified \(N\)-representability. Zbl 1510.81163
Liebert, Julia; Schilling, Christian |
|
2023
|
symQV: automated symbolic verification of quantum programs. Zbl 1529.68152
Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian |
|
2023
|
An effective solution to convex 1-body \(N\)-representability. Zbl 1530.81148
Castillo, Federico; Labbé, Jean-Philippe; Liebert, Julia; Padrol, Arnau; Philippe, Eva; Schilling, Christian |
|
2023
|
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg-Kohn theorem to convexified \(N\)-representability. Zbl 1510.81163
Liebert, Julia; Schilling, Christian |
|
2023
|
symQV: automated symbolic verification of quantum programs. Zbl 1529.68152
Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian |
|
2023
|
Conservative time discretization: a comparative study. Zbl 1504.93022
Forets, Marcelo; Schilling, Christian |
|
2022
|
SpecRepair: counter-example guided safety repair of deep neural networks. Zbl 1514.68119
Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian |
|
2022
|
Fermionic systems for quantum information people. Zbl 1519.81120
Szalay, Szilárd; Zimborás, Zoltán; Máté, Mihály; Barcza, Gergely; Schilling, Christian; Legeza, Örs |
|
2021
|
Reachability of weakly nonlinear systems using Carleman linearization. Zbl 07670974
Forets, Marcelo; Schilling, Christian |
|
2021
|
Synthesis of hybrid automata with affine dynamics from time-series data. Zbl 07807675
Soto, Miriam García; Henzinger, Thomas A.; Schilling, Christian |
|
2021
|
JuliaReach: a toolbox for set-based reachability. Zbl 1542.93019
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian |
|
2019
|
Membership-based synthesis of linear hybrid automata. Zbl 1533.68158
García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka |
|
2019
|
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian |
|
2018
|
Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A. |
|
2017
|
Minimization of visibly pushdown automata using partial Max-SAT. Zbl 1452.68107
Heizmann, Matthias; Schilling, Christian; Tischner, Daniel |
|
2017
|
Discrete abstraction of multiaffine systems. Zbl 1428.92040
Kong, Hui; Bartocci, Ezio; Bogomolov, Sergiy; Grosu, Radu; Henzinger, Thomas A.; Jiang, Yu; Schilling, Christian |
|
2016
|
The quantum marginal problem. Zbl 1339.81104
Schilling, C. |
|
2015
|
Duality of reduced density matrices and their eigenvalues. Zbl 1301.81373
Schilling, Christian; Schilling, Rolf |
|
2014
|