Weiter zum Inhalt Weiter zur Fußzeile

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327 8 S.

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

Baier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18 18 S. (Lecture Notes in Computer Science, Band 14996).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Formal Quality Measures for Predictors in Markov Decision Processes

Baier, C., Klüppelholz, S., Piribauer, J. & Ziemek, R., 2024.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Responsibility in Actor-Based Systems

Baier, C., Klüppelholz, S. & Lehmann, J., 2024, 27 S.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking

Korn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Okt. 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (Hrsg.). Cham: Springer, Cham, S. 361-375 15 S. (Lecture Notes in Computer Science, Volume 14323).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (53)