Login / Signup
A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids.
Eleni Mandrali
Published in:
CoRR (2020)
Keyphrases
</>
weighted sum
model checking
weighted distance
data sets
genetic algorithm
weighted graph
finite state machines
chronological backtracking