108 citations · 1.6k across the 73 of their papers we have counts for
9 papers · 1 filter
symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
We present symQV, a symbolic execution framework for writing and verifying quantum computations in the quantum circuit model. symQV can automatically verify that a quantum program…
Deriving density-matrix functionals for excited states
Julia Liebert, Christian Schilling
We initiate the recently proposed -ensemble one-particle reduced density matrix functional theory (-RDMFT) by deriving the first functional approxim…
Synthesis of Parametric Hybrid Automata from Time Series
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models. Each m…
Quantifying Electron Entanglement Faithfully
Lexin Ding, Zoltan Zimboras, Christian Schilling
Entanglement is one of the most fascinating concepts of modern physics. In striking contrast to its abstract, mathematical foundation, its practical side is, however, remarkably un…
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Niklas Kochdumper, Christian Schilling, Matthias Althoff +1
We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions.…
Quantum correlations in molecules: from quantum resourcing to chemical bonding
Lexin Ding, Stefan Knecht, Zoltán Zimborás +1
The second quantum revolution is all about exploiting the quantum nature of atoms and molecules to execute quantum information processing tasks. To support this growing endeavor an…