Total Visits

Views
Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm56

Total Visits Per Month

May 2020June 2020July 2020August 2020September 2020October 2020November 2020
Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm1405023

File Downloads

Views
quantifier_elimination_CDC16_final.pdf68

Top country views

Views
United States43
United Kingdom5
Germany3
South Korea3
Austria1
Spain1

Top cities views

Views
Ashburn20
Fairfield15
Oakland4
San Mateo1
Santa Clara1
Tobarra1