Felix Klein
From MaRDI portal
Person:2147187
Available identifiers
zbMath Open klein.felix.1MaRDI QIDQ2147187
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Temporal stream logic: synthesis beyond the Bools | 2024-02-16 | Paper |
| Bounded synthesis of reactive programs | 2023-07-28 | Paper |
| Live synthesis | 2022-06-22 | Paper |
| Bounded Cycle Synthesis | 2019-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636593 | 2018-04-19 | Paper |
| What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead | 2017-08-31 | Paper |
| How Much Lookahead is Needed to Win Infinite Games? | 2017-04-11 | Paper |
| How Much Lookahead is Needed to Win Infinite Games? | 2015-11-04 | Paper |
Research outcomes over time
This page was built for person: Felix Klein
