Multi-objective parameter synthesis in probabilistic hybrid systems (Q2945585)
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 6481824
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Multi-objective parameter synthesis in probabilistic hybrid systems |
scientific article; zbMATH DE number 6481824 |
Statements
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (English)
0 references
14 September 2015
0 references
0 references
0.7605719566345215
0 references
0.75681471824646
0 references
0.7531197667121887
0 references
0.7503736019134521
0 references
0.7476630210876465
0 references
