Robustness analysis of string transducers

DOI10.1007/978-3-319-02444-8_30MaRDI QIDQ5166704zbMATH OpenOpenAlexFDO

Authors Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Publication date 8 July 2014

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8_30

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lipschitz robustness of finite-state transducers
• On reversible transducers
• Expressiveness of streaming string transducers
• Aperiodic string transducers
• Transducers with Origin Information

Cited in

(10)

• Robustness of the decomposition functional for a sequence of symbols in a given dictionary of standard fragments
• Minimal synthesis of string to string functions from examples
• Robustness analysis of networked systems
• Lipschitz robustness of finite-state transducers
• scientific article; zbMATH DE number 7559473 (Why is no real title available?)
• The many facets of string transducers (invited talk)
• Specifiable robustness in reactive synthesis
• On tolerance of discrete systems with respect to transition perturbations
• Safe environmental envelopes of discrete systems
• Edit distance of finite state transducers

This page was built for publication: Robustness analysis of string transducers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166704)