Bounded Synthesis of Reactive Programs. - Carsten Gerstacker; Felix Klein 001; Bernd Finkbeiner (ATVA, 2018)

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study. - Juan A. Fraire; Gilles Nies; Carsten Gerstacker; Holger Hermanns; Kristian Bay; Morten Bisgaard (IEEE Trans. Green Commun. Netw., 2020)

On the scalability of battery-aware contact plan design for LEO satellite constellations. - Juan A. Fraire; Carsten Gerstacker; Holger Hermanns; Gilles Nies; Morten Bisgaard; Kristian Bay (Int. J. Satell. Commun. Netw., 2021)