Abstraction-Refinement Based Optimal Control with Regular Objectives (Q6260760)
From MaRDI portal
scientific article; zbMATH DE number 900244816
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstraction-Refinement Based Optimal Control with Regular Objectives |
scientific article; zbMATH DE number 900244816 |
Statements
11 April 2015
0 references
math.OC
0 references