Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. Scalable methods of discrete plant model generation for closed-loop model checking. In IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. pages 5483-5488, IEEE, 2017. [doi]
Abstract is missing.