7 citations · 11 across the 4 of their papers we have counts for
4 papers
Implementations of two Algorithms for the Threshold Synthesis Problem
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
A linear pseudo-Boolean constraint (LPB) is an expression of the form , where each is a literal (it assumes the value 1…
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…
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz +1
PDDL+ planning has its semantics rooted in hybrid automata (HA) and recent work has shown that it can be modeled as a network of HAs. Addressing the complexity of nonlinear PDDL+ p…