Plant trace generation for formal plant model inference: Methods and case study.

Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto

Browse the full INDIN paper archive.