Lucas Cordeiro

1PUBLICATIONS
6CO-AUTHORS
Modelling and simulation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 20, 2020
Automated formal synthesis of provably safe digital controllers for continuous plants.

Alessandro Abate, Iury Bessa, Lucas Cordeiro

Pageof 1

Frequent Collaborators

1 joint publications

Alessandro Abate

1 joint publications

Iury Bessa

1 joint publications

Cristina David

1 joint publications

Pascal Kesseli