Lipschitz Robustness of Finite-state Transducers

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

We investigate the problem of checking if a finite-state transducer is robust to uncertainty in its input. Our notion of robustness is based on the analytic notion of Lipschitz con…