Sign in

A Toolchain for Synthesizing and Validating Safety Architectures.

Yuri Gil DantasTiziano MunaroCarmen CârlanVivek NigamSimon BarnerShiqing FanAlexander PretschnerUlrich SchöppSergey Tverdyshev
Published in: SN Comput. Sci. (2023)
Keyphrases
  • data sets
  • multiscale
  • information systems
  • high level
  • multi agent
  • optimal solution
  • search algorithm
  • medical images
  • safety critical
  • neural architectures
  • civil aviation