Recommendations
Cites work
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- A Logical Characterisation of Event Clock Automata
- A theory of timed automata
- Costs Are Expensive!
- Definable Transductions and Weighted Logics for Texts
- Formal Methods for the Design of Real-Time Systems
- Improved undecidability results on weighted timed automata
- MTL with Bounded Variability: Decidability and Complexity
- Model Checking One-clock Priced Timed Automata
- Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
- On the optimal reachability problem of weighted timed automata
- Optimal paths in weighted timed automata
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted Distributed Systems and Their Logics
- Weighted Logics for Traces
- Weighted Picture Automata and Weighted Logics
- Weighted Timed MSO Logics
- Weighted tree automata and weighted logics
Cited in
(11)- A Nivat theorem for weighted timed automata and weighted relative distance logic
- Weighted automata and weighted MSO logics for average and long-time behaviors
- scientific article; zbMATH DE number 7561720 (Why is no real title available?)
- Weighted register automata and weighted logic on data words
- Weighted register automata and weighted logic on data words
- Weighted symbolic automata with data storage
- Logics for weighted timed pushdown automata
- Weighted automata
- Weighted Timed MSO Logics
- Kleene-Schützenberg and Büchi theorems for weighted timed automata.
- A logical characterization of timed pushdown languages
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)
