This paper proposes the Primal-Dual Natural Actor-Critic (PDNAC) algorithm, which achieves, for the first time, a global convergence rate of $\tilde{\mathcal{O}}(1 ...

This work provides the first finite-sample complexity analysis for policy evaluation in robust average reward MDPs. By constructing a carefully designed semi-norm, it proves that the robust Bellman ...

Abstract: Bisimulation is a behavioral equivalence approach for discrete event systems. In recent years, bisimulation has been increasingly applied to nondeterministic fuzzy transition system (NFTS).

Abstract: Mutation Testing (MT) is a test quality assessment technique that creates mutants by injecting artificial faults into the system and evaluating the ability of tests to distinguish these ...

Formal languages and automata are fundamental concepts in computer science. Pushdown automata form the theoretical basis for the parsing of programming languages. Finite automata provide natural data ...