MSO logics for weighted timed automata

DOI10.1007/s10703-011-0112-6zbMath1258.68089OpenAlexW2052631269MaRDI QIDQ548692

Karin Quaas

Publication date: 30 June 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0112-6

zbMATH Keywords

real-time systemsweighted timed automataweighted MSO logic

Mathematics Subject Classification ID

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

Related Items (8)

Weighted Register Automata and Weighted Logic on Data Words ⋮ A Logical Characterization of Timed Pushdown Languages ⋮ Logics for Weighted Timed Pushdown Automata ⋮ Multi-weighted automata and MSO logic ⋮ Unnamed Item ⋮ Weighted register automata and weighted logic on data words ⋮ Weighted Symbolic Automata with Data Storage ⋮ Weighted automata

Cites Work

• Unnamed Item
• Optimal paths in weighted timed automata
• Improved undecidability results on weighted timed automata
• Weighted tree automata and weighted logics
• A theory of timed automata
• On the optimal reachability problem of weighted timed automata
• Weighted Logics for Traces
• Costs Are Expensive!
• Model Checking One-clock Priced Timed Automata
• MTL with Bounded Variability: Decidability and Complexity
• Weighted Automata and Weighted Logics on Infinite Words
• Weighted Timed MSO Logics
• Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
• Definable Transductions and Weighted Logics for Texts
• Weighted Distributed Systems and Their Logics
• Weighted Picture Automata and Weighted Logics
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• Formal Methods for the Design of Real-Time Systems
• A Logical Characterisation of Event Clock Automata

This page was built for publication: MSO logics for weighted timed automata