Personensuche
X
?
Communications in Computer and Information Science; Explainable Artificial Intelligence ,
1
Template Decision Diagrams for Meta Control and Explainabil..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
2
Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
3