libFAUDES is a C++ library that implements data structures for the representation of finite automata and algorithms for supervisory control within the framework originally proposed by P.J. Ramadge and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results