Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Q5275336)
From MaRDI portal
scientific article; zbMATH DE number 6741679
Language | Label | Description | Also known as |
---|---|---|---|
English | Sampling-based Approximate Optimal Control Under Temporal Logic Constraints |
scientific article; zbMATH DE number 6741679 |
Statements
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (English)
0 references
11 July 2017
0 references
approximate optimal control
0 references
formal methods
0 references
hybrid systems
0 references
importance sampling
0 references