Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Päßler, Juliane
6  Ergebnisse:
Personensuche X
?
1

Template Decision Diagrams for Meta Control and Explainabil..:

, In: Communications in Computer and Information Science; Explainable Artificial Intelligence,
Dubslaff, Clemens ; Klös, Verena ; Päßler, Juliane - p. 219-242 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Päßler, Juliane ; ter Beek, Maurice H. ; Damiani, Ferruccio.. - p. 343-363 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Formal Model of Metacontrol in Maude:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Päßler, Juliane ; Aguado, Esther ; Silva, Gustavo Rezende... - p. 575-596 , 2022
Link: https://doi.org/10.1007/..
 
?
4

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles:

Silva, Gustavo Rezende ; Päßler, Juliane ; Zwanepol, Jeroen...
http://arxiv.org/abs/2303.09220.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:

Päßler, Juliane ; ter Beek, Maurice H ; Damiani, Ferruccio..
http://arxiv.org/abs/2308.14663.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:

Juliane Päßler ; Maurice H. ter Beek ; Ferruccio Damiani..
info:eu-repo/grantAgreement/EC/H2020/956200/.  , 2023
Link: https://zenodo.org/recor..
 
1-6