MSO logics for weighted timed automata

DOI10.1007/S10703-011-0112-6zbMATH Open1258.68089OpenAlexW2052631269MaRDI QIDQ548692FDOQ548692

Authors: 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

Recommendations

• Weighted Timed MSO Logics
• Kleene-Schützenberg and Büchi theorems for weighted timed automata.
• A Nivat theorem for weighted timed automata and weighted relative distance logic
• Weighted automata and weighted logics
• Logics for weighted timed pushdown automata

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)

Cites Work

• A theory of timed automata
• MTL with Bounded Variability: Decidability and Complexity
• Formal Methods for the Design of Real-Time Systems
• Improved undecidability results on weighted timed automata
• Optimal paths in weighted timed automata
• On the optimal reachability problem of weighted timed automata
• Costs Are Expensive!
• Title not available (Why is that?)
• A Logical Characterisation of Event Clock Automata
• Model Checking One-clock Priced Timed Automata
• Weighted Automata and Weighted Logics on Infinite Words
• Weighted tree automata and weighted logics
• Weighted Logics for Traces
• 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

Cited In (11)

• Weighted automata and weighted MSO logics for average and long-time behaviors
• Title not available (Why is that?)
• A Logical Characterization of Timed Pushdown Languages
• Weighted register automata and weighted logic on data words
• Weighted automata
• Weighted Timed MSO Logics
• Multi-weighted automata and MSO logic
• Kleene-Schützenberg and Büchi theorems for weighted timed automata.
• Weighted Symbolic Automata with Data Storage
• Weighted Register Automata and Weighted Logic on Data Words
• Logics for Weighted Timed Pushdown Automata

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

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