A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids

11/10/2020
by   Eleni Mandrali, et al.
0

In this paper we introduce a weighted LTL over product ω-valuation monoids that satisfy specific properties. We also introduce weighted generalized Büchi automata with ϵ-transitions, as well as weighted Büchi automata with ϵ-transitions over product ω-valuation monoids and prove that these two models are expressively equivalent and also equivalent to weighted Büchi automata already introduced in the literature. We prove that every formula of a syntactic fragment of our logic can be effectively translated to a weighted generalized Büchi automaton with ϵ-transitions. Finally, we prove that the number of states of the produced automaton is polynomial in the size of the corresponding formula.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/17/2021

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings

In this paper, we give a Nivat-like characterization for weighted altern...
research
01/17/2023

Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs

Weighted finite-state automata (WSFAs) are commonly used in NLP. Failure...
research
08/13/2022

Automated Conversion of Axiomatic to Operational Models: Theory and Practice

A system may be modelled as an operational model (which has explicit not...
research
10/20/2020

Quantum Tensor Networks, Stochastic Processes, and Weighted Automata

Modeling joint probability distributions over sequences has been studied...
research
10/13/2022

Algorithms for Weighted Pushdown Automata

Weighted pushdown automata (WPDAs) are at the core of many natural langu...
research
07/27/2023

An Automata Theoretic Characterization of Weighted First-Order Logic

Since the 1970s with the work of McNaughton, Papert and Schützenberger, ...
research
07/14/2023

Random Wheeler Automata

Wheeler automata were introduced in 2017 as a tool to generalize existin...

Please sign up or login with your details

Forgot password? Click here to reset