Publications
193 Entries
2026
-
The Modal Logic of Abstraction Refinement, 2026, Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Bertrand, N. & Milius, S. (eds.). Springer, Cham, p. 527-548, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Verification meets Causality, 2026, Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems. p. 1, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes, 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 195-218, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2025
-
Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes, 12 Nov 2025, Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toleda, Spain, November 10-14, 2025, Proceedings. Bianculli, D. & Gomez-Martinez, E. (eds.). Springer, Cham, p. 129-147, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Model Checking Linear Temporal Logic with Standpoint Modalities, Nov 2025, KR 2025 - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). Association for the Advancement of Artificial Intelligence, p. 2-11, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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.). Association for Computing Machinery (ACM), p. 11-20, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Formal Quality Measures for Predictors in Markov Decision Processes, 11 Apr 2025, Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (eds.). Washington, DC: AAAI Press, p. 26760-26768, 9 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
This information is provided by the FIS.