Philippe Heim

According to our database, Philippe Heim authored at least 13 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Modular Attractor Acceleration in Infinite-State Games (Full Version).

Philippe Heim, Rayna Dimitrova

CoRR, January, 2026

Modular Attractor Acceleration in Infinite-State Games.

Philippe Heim, Rayna Dimitrova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis.

Philippe Heim, Rayna Dimitrova

Proc. ACM Program. Lang., 2025

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.

Philippe Heim, Rayna Dimitrova

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Solving Infinite-State Games via Acceleration.

Philippe Heim, Rayna Dimitrova

Proc. ACM Program. Lang., January, 2024

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version).

Philippe Heim, Rayna Dimitrova

CoRR, 2024

Localized Attractor Computations for Infinite-State Games (Full Version).

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak

CoRR, 2024

Localized Attractor Computations for Infinite-State Games.

Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).

Philippe Heim, Rayna Dimitrova

CoRR, 2023

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.

Philippe Heim, Rayna Dimitrova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Temporal Stream Logic modulo Theories.

Bernd Finkbeiner, Philippe Heim, Noemi Passing

Proceedings of the Foundations of Software Science and Computation Structures, 2022

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

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.

Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019