Robust predictability of stochastic discrete-event systems and a polynomial-time verification.

Published in: Autom. (2022)

Keyphrases