Case studies in data-driven verification of dynamical systems (Q2988966)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6721655
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Case studies in data-driven verification of dynamical systems |
scientific article; zbMATH DE number 6721655 |
Statements
Case Studies in Data-Driven Verification of Dynamical Systems (English)
0 references
19 May 2017
0 references
adaptable systems
0 references
autonomous systems
0 references
data-driven verification
0 references
statistical learning
0 references
0.7830260396003723
0 references
0.7233692407608032
0 references
0.711185872554779
0 references
0.7002112865447998
0 references
0.6872199773788452
0 references
