A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic (Q5167836)
From MaRDI portal
scientific article; zbMATH DE number 6312312
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic |
scientific article; zbMATH DE number 6312312 |
Statements
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic (English)
0 references
1 July 2014
0 references
weighted timed automata
0 references
linearly priced timed automata
0 references
average behavior
0 references
discounting
0 references
Nivat's theorem
0 references
quantitative logic
0 references
