Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulvantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin. Counterexample-guided inference of controller logic from execution traces and temporal formulas. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018. pages 91-98, IEEE, 2018. [doi]
Abstract is missing.