Description

Cyber-Physical Systems (CPS) are being used in many safety-critical applications. Due to the important role in virtually every aspect of human life, it is crucial to make sure that a CPS works properly before its deployment. However, formal verification of CPS is a computationally hard problem.

Reuse Permissions
  • Downloads
    pdf (1.8 MB)

    Download count: 0

    Details

    Contributors
    Date Created
    2017
    Resource Type
  • Text
  • Collections this item is in
    Note
    • Doctoral Dissertation Computer Science 2017

    Machine-readable links