Felix Windisch - Graz University of Technology

Research activity per year

1 Conference paper

Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher, B., Windisch, F. & Bloem, R., Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review