An e#cient simplex coverability algorithm in E with application to stochastic sequential machines (1979)

by C B Silio
Venue:IEEE Transactions on Computers