Publications by authors named "Pascal Kesseli"

Claim this Profile
S
Synthesising Programs with Non-trivial Constants.
Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli

J Autom Reason· May 2023

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
Automated formal synthesis of provably safe digital controllers for continuous plants.
Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli

Acta Inform· December 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis