Describing Average- and Longtime-Behavior by Weighted MSO Logics
From MaRDI portal
Publication:3586111
DOI10.1007/978-3-642-15155-2_47zbMath1287.03087OpenAlexW1803317697MaRDI QIDQ3586111
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Hyperplane separation technique for multidimensional mean-payoff games ⋮ Temporal Specifications with Accumulative Values ⋮ Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ Quantitative vs. weighted automata ⋮ Approximating the minimum cycle mean ⋮ A Kleene theorem for weighted tree automata over tree valuation monoids ⋮ Weighted automata with storage ⋮ Weighted Symbolic Automata with Data Storage ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Valuations of Weighted Automata: Doing It in a Rational Way ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Models for quantitative distributed systems and multi-valued logics ⋮ Conway and iteration hemirings Part 2
This page was built for publication: Describing Average- and Longtime-Behavior by Weighted MSO Logics
