Felix Windisch

According to our database, Felix Windisch authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Synthesis of Controllers for Continuous Blackbox Systems.

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Synthesis from Infinite-State Generalized Reactivity(1) Specifications.

Benedikt Maderbacher, Felix Windisch, Roderick Bloem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024