The following pages link to Pascal Kesseli (Q2303882):
Displaying 5 items.
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Learning the Language of Error (Q3460551) (← links)
- Learning the Language of Software Errors (Q5109907) (← links)
- Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants (Q5275332) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)