NOELLE Offers Empowering LLVM Extensions. - Angelo Matni; Enrico Armenio Deiana; Yian Su; Lukas Gross; Souradip Ghosh; Sotiris Apostolakis; Ziyang Xu; Zujun Tan; Ishita Chaturvedi; David I. August; Simone Campanoni (CoRR, 2021)

Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. - Lukas Gross; Lasse Maywald; Shivesh Kumar; Frank Kirchner; Christoph Lüth (CDC, 2022)

NOELLE Offers Empowering LLVM Extensions. - Angelo Matni; Enrico Armenio Deiana; Yian Su; Lukas Gross; Souradip Ghosh; Sotiris Apostolakis; Ziyang Xu; Zujun Tan; Ishita Chaturvedi; Brian Homerding; Tommy McMichen; David I. August; et al. (CGO, 2022)

Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. - Daniel Harnack; Christoph Lüth; Lukas Gross; Shivesh Kumar; Frank Kirchner (CDC, 2023)