2024-09-06 14:32 |
|
2024-09-05 13:48 |
|
2024-09-04 15:38 |
-
Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models
Weber, S. ; Henß, J. ; Taghavi, B. ; Weber, T. ; ; et al
Software architecture : ECSA 2024 tracks and workshops : Luxembourg City, Luxembourg, September 3–6, 2024 proceedings / Apostolos Ampatzoglo, Jennifer Pérez, Barbora Buhnova, Valentina Lenarduzzi, Colin C. Venters, Uwe Zdun , Khalil Drira, Luciana Rebelo, Daniele Di Pompeo, Michele Tucci , Elisa Yumi Nakagawa, Elena Navarro editors, Seiten/Artikel-Nr: 30-38
DOI: 10.1007/978-3-031-71246-3_4
Contribution to a book/Contribution to a conference proceedings
2024
|
2024-09-04 12:15 |
|
2024-09-03 08:15 |
|
2024-09-02 14:55 |
|
2024-09-02 12:15 |
|
2024-09-02 11:16 |
-
Natural Strategic Ability in Stochastic Multi-Agent Systems
Berthon, R. J. (Corresponding author) ; Katoen, J.-P. (Corresponding author) ; Mittelmann, M. (Corresponding author) ; Murano, A. (Corresponding author)
Thirty-Eighth AAAI Conference on Artificial Intelligence : Februar 20–27, 2024, Vancouver, Canada / Edited by Michael Wooldridge, Jennifer Dy, Sriraam Natarajan ; Sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 17308-17316
DOI: 10.1609/aaai.v38i16.29678
Contribution to a book/Contribution to a conference proceedings
2024
|
2024-09-02 09:27 |
|
2024-08-30 16:06 |
|
|
|