Robustness Analysis of String Transducers
From MaRDI portal
Publication:5166704
DOI10.1007/978-3-319-02444-8_30zbMath1410.68210OpenAlexW2278079988MaRDI QIDQ5166704
Jyotirmoy V. Deshmukh, Swarat Chaudhuri, Roopsha Samanta
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
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Specifiable robustness in reactive synthesis, On tolerance of discrete systems with respect to transition perturbations, Unnamed Item