Publications
166 Entries
2025
-
Certificates and witnesses for multi-objective queries in Markov decision processes , Jun 2025, In: Performance Evaluation. 168, 102482Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
When to Sample from Feature Diagrams? , 28 May 2025, VaMoS'25: Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. Acher, M., Alves Pereira, J. & Quinton, C. (eds.). ACM Digital Library, p. 11-20, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient , 11 Apr 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains , 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media B.V., p. 56-81, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Model Checking Markov Chains as Distribution Transformers. , 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. p. 293-313, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Responsibility in Actor-Based Systems , 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). Springer Science and Business Media B.V., p. 44-69, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Sound Statistical Model Checking for Probabilities and Expected Rewards , 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2024
-
Entropic risk for turn-based stochastic games , Dec 2024, In: Information and computation. 301(2024), Part A, 105214Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Configuring BDD Compilation Techniques for Feature Models , 2 Sep 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. (eds.). Association for Computing Machinery (ACM), Vol. A. p. 209-216, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Spectrum of Approximate Probabilistic Bisimulations , 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution