Publikationen
169 Einträge
2024
-
Entropic risk for turn-based stochastic games , Dez. 2024, in: Information and computation. 301(2024), Part A, 105214Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Configuring BDD Compilation Techniques for Feature Models , 2 Sept. 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Struber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alves Pereira, J., Acher, M., Thüm, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (Hrsg.). Association for Computing Machinery (ACM), Band A. S. 209-216, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Spectrum of Approximate Probabilistic Bisimulations , 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures , 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024) . Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 9:1-9:20, 20 S., 9Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Demonic Variance and a Non-Determinism Score for Markov Decision Processes , 23 Aug. 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) . Kralovic, R. & Kucera, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 79:1-79:15, 15 S., 79Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Linear dynamical systems with continuous weight functions , 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, S. 22:1-22:11, 11 S., 22Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Positivity-hardness results on Markov decision processes , 8 April 2024, in: TheoretiCS : an open access journal in theoretical computer science. 3, 47 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Backward Responsibility in Transition Systems Using General Power Indices , 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Lazy model checking for recursive state machines , 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Foundations of probability-raising causality in Markov decision processes , 19 Jan. 2024, in: Logical methods in computer science : LMCS. 20, 1, S. 4:1–4:66, 66 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel