학술논문
Automata Learning Meets Shielding
Document Type
Conference Paper
Author
Source
In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13701 LNCS:335-359)
Subject
Language
English
ISSN
16113349
03029743
03029743