Jonathan Julian Huerta Y Munive

 

Entries

2020
April 19: Matrices for ODEs

 

2019
September 10: Verification Components for Hybrid Systems