Forschung
Kontinuierliche Assurance: Formalverifikation & Assurance‑Cases für autonome Systeme
Autonome Systeme müssen ihr Vertrauen in Korrektheit und Sicherheit über den gesamten Lebenszyklus hinweg – von der Konzeption über die Inb…
arXiv – cs.AI