Weighted register automata and weighted logic on data words

DOI10.1007/978-3-319-46750-4_21zbMATH Open1482.68124OpenAlexW2523048084MaRDI QIDQ3179411FDOQ3179411

Authors: Parvaneh Babari, Vitaly Perevoshchikov, Manfred Droste 

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_21

Recommendations

• Weighted register automata and weighted logic on data words
• Weighted symbolic automata with data storage
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Automata, Languages and Programming
• Weighted automata and weighted logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cites Work

• A theory of timed automata
• Visibly pushdown languages
• Handbook of weighted automata
• LTL with the freeze quantifier and register automata
• Two-variable logic on data words
• Weak Second‐Order Arithmetic and Finite Automata
• Weighted versus Probabilistic Logics
• Finite-memory automata
• Alternating register automata on finite words and trees
• Event-clock automata: a determinizable class of timed automata
• Title not available (Why is that?)
• Finite state machines for strings over infinite alphabets
• A logical characterization of data languages.
• Weighted automata and weighted logics
• A Nivat theorem for weighted timed automata and weighted relative distance logic
• MSO logics for weighted timed automata
• An automaton over data words that captures EMSO logic
• Title not available (Why is that?)
• Regular functions and cost register automata (invited paper)
• Relating timed and register automata

Cited In (7)

• Title not available (Why is that?)
• An automaton over data words that captures EMSO logic
• Weighted register automata and weighted logic on data words
• Optimal run problem for weighted register automata
• Optimal run problem for weighted register automata
• Weighted symbolic automata with data storage
• A taxonomy and reductions for common register automata formalisms

This page was built for publication: Weighted register automata and weighted logic on data words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179411)