Describing average- and longtime-behavior by weighted MSO logics

DOI10.1007/978-3-642-15155-2_47MaRDI QIDQ3586111zbMATH OpenOpenAlexFDO

Authors Ingmar Meinecke, Manfred Droste

Publication date 3 September 2010

Published in Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15155-2_47

Mathematics Subject Classification ID

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

Recommendations

• Weighted automata and weighted MSO logics for average and long-time behaviors
• Automata, Languages and Programming
• Weighted automata and weighted logics
• Weighted automata and logics on graphs
• Regular Expressions on Average and in the Long Run

Cited in

(13)

• Weighted automata and weighted MSO logics for average and long-time behaviors
• A logic-based approach to incremental reasoning on multi-agent systems
• Approximating the minimum cycle mean
• A Kleene theorem for weighted tree automata over tree valuation monoids
• Weighted automata with storage
• Hyperplane separation technique for multidimensional mean-payoff games
• Quantitative vs. weighted automata
• Weighted symbolic automata with data storage
• Models for quantitative distributed systems and multi-valued logics
• Conway and iteration hemirings. II.
• Temporal specifications with accumulative values
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• Valuations of weighted automata: doing it in a rational way

This page was built for publication: Describing average- and longtime-behavior by weighted MSO logics

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