5 citations · 6 across the 4 of their papers we have counts for
4 papers
How Deduction Systems Can Help You To Verify Stability Properties
Mario Gleirscher, Rehab Massoud, Dieter Hutter +1
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, t…
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
Sören Tempel, Tobias Brandt, Christoph Lüth +2
Symbolic execution is an SMT-based software verification and testing technique. Symbolic execution requires tracking performed computations during software simulation to reason abo…
Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking
Daniel Harnack, Christoph Lüth, Lukas Gross +2
Generating physical movement behaviours from their symbolic description is a long-standing challenge in artificial intelligence (AI) and robotics, requiring insights into numerical…
Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum
Lukas Gross, Lasse Maywald, Shivesh Kumar +2
Linear-quadratic regulators (LQR) are a well known and widely used tool in control theory for both linear and nonlinear dynamics. For nonlinear problems, an LQR-based controller is…