A quantitative approach for linear temporal logic based on finite transition systems (Q4926927)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A quantitative approach for linear temporal logic based on finite transition systems |
scientific article; zbMATH DE number 6179148
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A quantitative approach for linear temporal logic based on finite transition systems |
scientific article; zbMATH DE number 6179148 |
Statements
20 June 2013
0 references
linear temporal logic
0 references
transition system
0 references
satisfaction degree
0 references
discrete-time Markov chains
0 references
logic metric space
0 references
0.897873044013977
0 references
0.8600854873657227
0 references
0.7745296359062195
0 references
0.771187961101532
0 references
0.7672297358512878
0 references
