TY  - RPRT
TI  - Automata Learning meets Shielding
AU  - Martin Tappler
AU  - Stefan Pranger
AU  - Bettina Könighofer
AU  - Edi Muškardin
AU  - Roderick Bloem
AU  - Kim Larsen
PY  - 2022
UR  - https://arxiv.org/abs/2212.01838
ID  - 2212.01838
ER  -