Nested Weighted Automata

DOI10.1145/3152769zbMath1407.68248OpenAlexW2771837048MaRDI QIDQ4608720

Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://repository.ist.ac.at/170/1/main.pdf

zbMATH Keywords

weighted automataquantitative propertiesmodel measuringnested automata

Mathematics Subject Classification ID

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

Related Items (3)

Quantitative vs. weighted automata ⋮ Bidirectional nested weighted automata ⋮ Average Stack Cost of Büchi Pushdown Automata

This page was built for publication: Nested Weighted Automata