3 papers
eess.SY2024
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…
cs.SE2024
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…
cs.RO2023
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…