An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712)

From MaRDI portal
scientific article; zbMATH DE number 6118282
Language Label Description Also known as
English
An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications
scientific article; zbMATH DE number 6118282

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references