Eleni Mandrali

Learn More
We introduce a linear temporal logic and a first-order logic in the weighted setup of the max-plus semiring with discounting parameters in $$[0,1)$$ [ 0 , 1 ) . Furthermore, we define $$\omega \hbox {-}d$$ ω - d -star-free series and counter-free weighted Büchi automata. We show that the classes of series definable in fragments of the weighted linear(More)
  • 1