Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization (Q6120698)
From MaRDI portal
scientific article; zbMATH DE number 7807716
Language | Label | Description | Also known as |
---|---|---|---|
English | Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization |
scientific article; zbMATH DE number 7807716 |
Statements
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization (English)
0 references
21 February 2024
0 references
adaptive control
0 references
bilinear optimization
0 references
formal methods
0 references
reachable sets
0 references
0 references
0 references
0 references
0 references