Publikationen

2023

• Strategy Synthesis in Markov Decision Processes Under Limited Sampling AccessBaier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Juni 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (Hrsg.). Springer, Cham, S. 86-103, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Juni 2023, in: Innovations in Systems and Software Engineering. Band 19. S. 227-229, 3 S.Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)
• Interaction detection in configurable systems – A formal approach featuring rolesChrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., Feb. 2023, in: Journal of Systems and Software. 196, 111556Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness StudyKorn, M., Chrszon, P., Klüppelholz, S., Baier, C. & Wunderlich, S., 13 Jan. 2023, Computer Performance Engineering - 18th European Workshop, EPEW 2022, Proceedings: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (Hrsg.). Cham: Springer International Publishing AG, S. 19-34, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Unifying Formal Approach to Importance Values in Boolean FunctionsHarder, H., Jantsch, S., Baier, C. & Dubslaff, C., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 2728-2737, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksChau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (Hrsg.). Springer, Cham, S. 401-421, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2022

• Configurable-by-construction runtime monitoringDubslaff, C. & Köhl, M. A., 1 Okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (Hrsg.). Springer, Berlin [u. a.], S. 220–241, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Operational causality – Necessarily sufficient and sufficiently necessaryBaier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sept. 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Berlin [u. a.], S. 27–45, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Purser, D. & 2 weitere, 1 Sept. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CPrAA – A Checker for Probabilistic Abstract ArgumentationKäfer, N., Sept. 2022, Computational Models of Argument: Proceedings of COMMA 2022. Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Band 353. S. 359-360, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband