Philippe Heim

17 papers A* 1B 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Modular Attractor Acceleration in Infinite-State Games (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2026 — conf
Modular Attractor Acceleration in Infinite-State Games.
TACAS (1)
Philippe Heim, Rayna Dimitrova
2025 — conf
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.
CAV (4)
Philippe Heim, Rayna Dimitrova
2025 J jnl
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.
CoRR
Philippe Heim, Rayna Dimitrova
2025 J jnl
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis.
Proc. ACM Program. Lang.
Philippe Heim, Rayna Dimitrova
2024 J jnl
Localized Attractor Computations for Infinite-State Games (Full Version).
CoRR
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Localized Attractor Computations for Infinite-State Games.
CAV (3)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 J jnl
Solving Infinite-State Games via Acceleration.
Proc. ACM Program. Lang.
Philippe Heim, Rayna Dimitrova
2024 J jnl
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2023 J jnl
Solving Infinite-State Games via Acceleration.
CoRR
Philippe Heim, Rayna Dimitrova
2023 J jnl
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).
CoRR
Philippe Heim, Rayna Dimitrova
2023 — conf
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.
TACAS (2)
Philippe Heim, Rayna Dimitrova
2022 A* conf
Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
ICAPS
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
2022 B conf
Temporal Stream Logic modulo Theories.
FoSSaCS
Bernd Finkbeiner, Philippe Heim, Noemi Passing
2021 J jnl
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
CoRR
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
2021 J jnl
Temporal Stream Logic modulo Theories.
CoRR
Bernd Finkbeiner, Philippe Heim, Noemi Passing
2019 B conf
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
FMCAD
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner