Philippe Heim

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Formal Specification Language

Nash Equilibria

Top Venues

Proc. ACM Program. Lang.

Publications

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games. CAV (3) (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games (Full Version). CoRR (2024)
Philippe Heim, Rayna Dimitrova
Solving Infinite-State Games via Acceleration. Proc. ACM Program. Lang. 8 (POPL) (2024)
Philippe Heim, Rayna Dimitrova
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version). CoRR (2023)
Philippe Heim, Rayna Dimitrova
Solving Infinite-State Games via Acceleration. CoRR (2023)
Philippe Heim, Rayna Dimitrova
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. TACAS (2) (2023)
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
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS (2022)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. FoSSaCS (2022)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR (2021)
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal Stream Logic modulo Theories. CoRR (2021)
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD (2019)