Skip to content Skip to footer

Related content

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401 33 p.

Research output: Contribution to journalResearch articleContributedpeer-review

Towards a Formal Account on Negative Latency

Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dec 2023, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214 27 p. (Lecture Notes in Computer Science, Volume 14380).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Wienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., Aug 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Elkind, E. (ed.). p. 4406-4415 10 p.

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Baier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, Cham, p. 86-103 18 p. (Lecture Notes in Computer Science, Vol. 13903).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Springer, Cham, p. 332–350 19 p. (Lecture Notes in Computer Science, Volume 13085).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review