Pascal Kesseli
From MaRDI portal
Person:2303882
Available identifiers
zbMath Open kesseli.pascalMaRDI QIDQ2303882
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Synthesising programs with non-trivial constants | 2023-06-27 | Paper |
| Counterexample guided inductive synthesis modulo theories | 2023-05-26 | Paper |
| Learning the Language of Software Errors | 2020-05-14 | Paper |
| Automated formal synthesis of provably safe digital controllers for continuous plants | 2020-03-06 | Paper |
| Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants | 2017-07-11 | Paper |
| Learning the Language of Error | 2016-01-08 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Pascal Kesseli
