Showing 1 - 2 results of 2 for search 'Johansson, KH', query time: 0.03s Refine Results
  1. 1
    Invariant cover: Existence, cardinality bounds, and computation

    Invariant cover: Existence, cardinality bounds, and computation by Gao, Y, Cannon, MR, Xie, L, Johansson, KH

    Published 2021
    Journal article
  2. 2
    Online control synthesis for uncertain systems under signal temporal logic specifications

    Online control synthesis for uncertain systems under signal temporal logic specifications by Yu, P, Gao, Y, Jiang, FJ, Johansson, KH, Dimarogonas, DV

    Published 2023
    Journal article

Search Tools: