Weighted Timed MSO Logics

DOI10.1007/978-3-642-02737-6_34zbMath1247.03069OpenAlexW1507918834MaRDI QIDQ3637244

Karin Quaas

Publication date: 7 July 2009

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02737-6_34

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Related Items (6)

Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ MSO logics for weighted timed automata ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ On the Supports of Recognizable Timed Series

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal paths in weighted timed automata
• Handbook of weighted automata
• Improved undecidability results on weighted timed automata
• Weighted tree automata and weighted logics
• Event-clock automata: a determinizable class of timed automata
• Weighted automata and weighted logics
• On the optimal reachability problem of weighted timed automata
• Weighted Logics for Traces
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Automata and Weighted Logics on Infinite Words
• Decision Problems of Finite Automata Design and Related Arithmetics
• Definable Transductions and Weighted Logics for Texts
• Weighted Picture Automata and Weighted Logics
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• Automata, Languages and Programming
• Inference of Event-Recording Automata Using Timed Decision Trees

This page was built for publication: Weighted Timed MSO Logics