108 citations · 1.6k across the 73 of their papers we have counts for
6 papers · 1 filter
Efficient Shield Synthesis via State-Space Transformation
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen +1
We consider the problem of synthesizing safety strategies for control systems, also known as shields. Since the state space is infinite, shields are typically computed over a finit…
The Reachability Problem for Neural-Network Control Systems
Christian Schilling, Martin Zimmermann
A control system consists of a plant component and a controller which periodically computes a control input for the plant. We consider systems where the controller is implemented b…
What Can Quantum Information Theory Offer to Quantum Chemistry?
Damiano Aliverti-Piuri, Kaustav Chatterjee, Lexin Ding +3
It is the ultimate goal of this work to foster synergy between quantum chemistry and the flourishing field of quantum information theory. For this, we first translate quantum infor…
Unveiling Intrinsic Many-Body Complexity by Compressing Single-Body Triviality
Ke Liao, Lexin Ding, Christian Schilling
The simultaneous treatment of static and dynamical correlations in strongly-correlated electron systems is a critical challenge. In particular, finding a universal scheme for ident…
Composing Reinforcement Learning Policies, with Formal Guarantees
Florent Delgrange, Guy Avni, Anna Lukina +3
We propose a novel framework to controller design in environments with a two-level structure: a known high-level graph ("map") in which each vertex is populated by a Markov decisio…
Ground and Excited States from Ensemble Variational Principles
Lexin Ding, Cheng-Lin Hong, Christian Schilling
The extension of the Rayleigh-Ritz variational principle to ensemble states with fixed weights lies ultimately at the…