Model checking delay differential equations against metric interval temporal logic (Q4621211)
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: Model checking delay differential equations against metric interval temporal logic |
scientific article; zbMATH DE number 7020203
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking delay differential equations against metric interval temporal logic |
scientific article; zbMATH DE number 7020203 |
Statements
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic (English)
0 references
8 February 2019
0 references
delay differential equations
0 references
automated formal verification
0 references
interval Taylor over-approximation
0 references
metric interval temporal logic
0 references
0.9703030586242676
0 references
0.8245107531547546
0 references
0.7516427040100098
0 references
0.7403780817985535
0 references
0.7101475596427917
0 references
