Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

1 results

Filter

Finished

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19
Project: Research Council of Finland/Other Research Councils