%PDF-1.6
%
1 0 obj
<>
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
IEEE
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA);2018;1; ;
Counterexample-guided inference of controller logic from execution traces and temporal formulas
Daniil Chivilikhin
Igor Buzhinskv
Vladimir Ulvantsev
Andrey Stankevich
Anatoly Shalyto
Valeriy Vyatkin
endstream
endobj
4 0 obj
<>stream
x+ |
endstream
endobj
5 0 obj
<>stream
xj0D+fUR(Pxצ^dGjuDET~}20`O_dhyX0']Hͼ
x3 ̓V&Ppʧ1]ڊ[;xoQl