Automata Learning meets Shielding

Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim Guldstrand Larsen

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 results

Active
EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy
Bloem, R.
1/10/20 → 30/09/23
Project: Research project