Quentin Guilmant
From MaRDI portal
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 |
|---|---|---|
| The value problem for weighted timed games with two clocks is undecidable | 2026-08-24 | Paper |
| Inaproximability in weighted timed games | 2026-02-10 | Paper |
| The 2-dimensional constraint loop problem is decidable | 2026-01-14 | Paper |
| Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functions | 2022-10-25 | Paper |
| Surreal fields stable under exponential and logarithmic functions | 2022-01-20 | Paper |
Research outcomes over time
This page was built for person: Quentin Guilmant
