Counterexample-guided inference of controller logic from execution traces and temporal formulas.

Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

Browse the full ETFA paper archive.