Nested Weighted Automata

DOI10.1109/LICS.2015.72zbMath1401.68154arXiv1504.06117MaRDI QIDQ4635850

Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.06117

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Edit Distance for Pushdown Automata ⋮ Quantitative fair simulation games ⋮ Decidable weighted expressions with Presburger combinators ⋮ Streamable regular transductions ⋮ Monitor Logics for Quantitative Monitor Automata ⋮ Bidirectional nested weighted automata ⋮ Average Stack Cost of Büchi Pushdown Automata

This page was built for publication: Nested Weighted Automata