Scalable methods of discrete plant model generation for closed-loop model checking.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Browse the full IECON paper archive.