Modular plant model synthesis from behavior traces and temporal properties.

Igor Buzhinsky, Valeriy Vyatkin

Browse the full ETFA paper archive.