Closed-loop verification of a compensating group drive model using synthesized formal plant model.

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Browse the full ETFA paper archive.