Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. - Gideon Geier; Philippe Heim; Felix Klein 001; Bernd Finkbeiner (FMCAD, 2019)

Debugging a Policy: Automatic Action-Policy Testing in AI Planning. - Marcel Steinmetz; Daniel Fiser; Hasan Ferit Eniser; Patrick Ferber; Timo P. Gros; Philippe Heim; Daniel Höller; Xandra Schuler; Valentin Wüstholz; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2022)

Temporal Stream Logic modulo Theories. - Bernd Finkbeiner; Philippe Heim; Noemi Passing (FoSSaCS, 2022)

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. - Philippe Heim; Rayna Dimitrova (TACAS (2), 2023)

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version). - Philippe Heim; Rayna Dimitrova (CoRR, 2023)

Localized Attractor Computations for Infinite-State Games. - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CAV (3), 2024)

Localized Attractor Computations for Infinite-State Games (Full Version). - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CoRR, 2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version). - Philippe Heim; Rayna Dimitrova (CoRR, 2024)

Solving Infinite-State Games via Acceleration. - Philippe Heim; Rayna Dimitrova (Proc. ACM Program. Lang., 2024)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. - Philippe Heim; Rayna Dimitrova (CAV (4), 2025)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis. - Philippe Heim; Rayna Dimitrova (Proc. ACM Program. Lang., 2025)