Resilient Integration of AI Perception into Trustworthy Autonomous Systems

Research output

Research output per year 2022 2022 2023 2023

• 1 Conference contribution
• 1 Article

Research output per year

Research output per year

Search results

• 2023

  Fast Parametric Model Checking with Applications to Software Performability Analysis

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File