Weighted automata and weighted MSO logics for average and long-time behaviors
type: Item
instance of: scholarly article
title: Weighted automata and weighted MSO logics for average and long-time behaviors
zbMATH Open document ID: 1279.68148
author: Ingmar Meinecke
author: Manfred Droste
published in: Information and Computation
publication date: 2013-01-17T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 6126527
zbMATH Keywords: weighted automata
zbMATH Keywords: weighted logic
MaRDI profile type: Publication
full work available at URL: j.ic.2012.10.001
OpenAlex ID: W1981797649
cites work: Q3994777
cites work: Weighted versus Probabilistic Logics
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Quantitative Languages
cites work: Alternating Weighted Automata
cites work: Probabilistic Weighted Automata
cites work: Weighted automata and weighted logics
cites work: Automata, Languages and Programming
cites work: Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
cites work: Handbook of weighted automata
cites work: Describing Average- and Longtime-Behavior by Weighted MSO Logics
cites work: WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
cites work: Weighted automata and weighted logics with discounting
cites work: Weighted automata and weighted logics on infinite words
cites work: Weighted finite automata over strong bimonoids
cites work: Weighted tree automata and weighted logics
cites work: Weighted automata and multi-valued logics over arbitrary bounded lattices
cites work: Q4079524
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: Q4910728
cites work: Models for Quantitative Distributed Systems and Multi-Valued Logics
cites work: Towards more realistic (e.g., non-associative) ``and'' - and ``or''-operations in fuzzy logic
cites work: Q4714446
cites work: Q3704880
cites work: Lattice Automata
cites work: Logic Programming
cites work: Weighted Logics for Nested Words and Algebraic Formal Power Series
cites work: Valuations of Weighted Automata: Doing It in a Rational Way
cites work: Weighted Timed MSO Logics
cites work: Q3515223
cites work: Q4155837
DOI: 10.1016/J.IC.2012.10.001
Recommended article: Describing Average- and Longtime-Behavior by Weighted MSO Logics
Recommended article: MSO logics for weighted timed automata
Recommended article: Multi-weighted automata and MSO logic
Recommended article: Weighted Automata and Weighted Logics
Recommended article: Automata, Languages and Programming
Recommended article: Weighted automata and weighted logics
Recommended article: Weighted Timed MSO Logics
Recommended article: Weighted automata and weighted logics with discounting
Recommended article: Weighted Automata and Weighted Logics with Discounting
description: scientific article; zbMATH DE number 6126527