| 1. | Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen More for less: Safe policy improvement with stronger performance guarantees (Proceedings Article) In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023, (accepted for publication). @inproceedings{wienhoft+suilen++2023_more-for-less,
title = {More for less: Safe policy improvement with stronger performance guarantees},
author = {Patrick Wienhöft and Marnix Suilen and Thiago D. Simão and Clemens Dubslaff and Christel Baier and Nils Jansen},
year = {2023},
date = {2023-08-25},
urldate = {2023-08-25},
booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
note = {accepted for publication},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 2. | Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel Strategy synthesis in Markov decision processes under limited sampling access (Artikel) In: CoRR, Bd. abs/2303.12718, 2023. @article{baier+dubslaff++2023_strategy,
title = {Strategy synthesis in Markov decision processes under limited sampling access},
author = {Christel Baier and Clemens Dubslaff and Patrick Wienhöft and Stefan J. Kiebel},
doi = {10.48550/arXiv.2303.12718},
year = {2023},
date = {2023-03-22},
urldate = {2023-03-22},
journal = {CoRR},
volume = {abs/2303.12718},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 3. | Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz Interaction detection in configurable systems – A formal approach featuring roles (Artikel) In: Journal of Systems and Software, Bd. 196, S. 111556:1–21, 2023. @article{chrszon+baier++2023_formal,
title = {Interaction detection in configurable systems – A formal approach featuring roles},
author = {Philipp Chrszon and Christel Baier and Clemens Dubslaff and Sascha Klüppelholz},
doi = {10.1016/j.jss.2022.111556},
year = {2023},
date = {2023-02-01},
urldate = {2023-02-01},
journal = {Journal of Systems and Software},
volume = {196},
pages = {111556:1–21},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 4. | Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer On the foundations of cycles in Bayesian networks (Buchabschnitt) In: Raskin, Jean-François; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak (Hrsg.): Principles of Systems Design – Essay Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Bd. 13660, S. 343–363, Springer, 2022. @incollection{baier+dubslaff++2022_foundations,
title = {On the foundations of cycles in Bayesian networks},
author = {Christel Baier and Clemens Dubslaff and Holger Hermanns and Nikolai Käfer},
editor = {Jean-François Raskin and Krishnendu Chatterjee and Laurent Doyen and Rupak Majumdar},
doi = {10.1007/978-3-031-22337-2_17},
year = {2022},
date = {2022-12-29},
urldate = {2022-12-29},
booktitle = {Principles of Systems Design – Essay Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
volume = {13660},
pages = {343–363},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 5. | Clemens Dubslaff; Maximilian A. Köhl Configurable-by-construction runtime monitoring (Buchabschnitt) In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Bd. 13701, S. 220–241, Springer, 2022. @incollection{dubslaff+kohl2022_configurable,
title = {Configurable-by-construction runtime monitoring},
author = {Clemens Dubslaff and Maximilian A. Köhl},
doi = {10.1007/978-3-031-19849-6_14},
year = {2022},
date = {2022-10-17},
urldate = {2022-10-17},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
volume = {13701},
pages = {220–241},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 6. | Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah A. Gaggl; Holger Hermanns Admissibility in probabilistic argumentation (Artikel) In: Journal of Artificial Intelligence Research, Bd. 74, S. 957–1009, 2022. @article{kafer+baier++2022_admissibility,
title = {Admissibility in probabilistic argumentation},
author = {Nikolai Käfer and Christel Baier and Martin Diller and Clemens Dubslaff and Sarah A. Gaggl and Holger Hermanns},
doi = {10.1613/jair.1.13530},
year = {2022},
date = {2022-09-26},
urldate = {2022-09-26},
journal = {Journal of Artificial Intelligence Research},
volume = {74},
pages = {957–1009},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 7. | Christel Baier; Clemens Dubslaff; Florian Funke; Simon Jantsch; Jakob Piribauer; Robin Ziemek Operational causality – Necessarily sufficient and sufficiently necessary (Buchabschnitt) In: Jansen, Nils; Stoelinga, Mariëlle; van den Bos, Petra (Hrsg.): A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, Bd. 13560, S. 27–45, Springer, 2022. @incollection{baier+dubslaff++2022_operational,
title = {Operational causality – Necessarily sufficient and sufficiently necessary},
author = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Jakob Piribauer and Robin Ziemek},
editor = {Nils Jansen and Mariëlle Stoelinga and Petra van den Bos},
doi = {10.1007/978-3-031-15629-8_2},
year = {2022},
date = {2022-09-07},
urldate = {2022-09-07},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday},
volume = {13560},
pages = {27–45},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 8. | Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel Causality in configurable software systems (Proceedings Article) In: Proceedings of the International Conference on Software Engineering (ICSE), 2022. @inproceedings{dubslaff+weis++2022_causality,
title = {Causality in configurable software systems},
author = {Clemens Dubslaff and Kallistos Weis and Christel Baier and Sven Apel},
doi = {10.1145/3510003.3510200},
year = {2022},
date = {2022-05-11},
urldate = {2022-05-11},
booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 9. | Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker Be lazy and don’t care: Faster CTL model checking for recursive state machines (Buchabschnitt) In: Calinescu, Radu; Păsăreanu, Corina S. (Hrsg.): Software Engineering and Formal Methods, Bd. 13085, S. 332–350, Springer, 2021. @incollection{dubslaff+wienhft++2021_be-lazy,
title = {Be lazy and don’t care: Faster CTL model checking for recursive state machines},
author = {Clemens Dubslaff and Patrick Wienhöft and Ansgar Fehnker},
editor = {Radu Calinescu and Corina S. Păsăreanu},
doi = {10.1007/978-3-030-92124-8_19},
year = {2021},
date = {2021-12-06},
urldate = {2021-12-06},
booktitle = {Software Engineering and Formal Methods},
volume = {13085},
pages = {332–350},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 10. | Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan Enhancing probabilistic model checking with ontologies (Artikel) In: Formal Aspects of Computing, Bd. 33, Nr. 6, S. 885–921, 2021. @article{dubslaff+koopmann++2021_enhancing,
title = {Enhancing probabilistic model checking with ontologies},
author = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
doi = {10.1007/s00165-021-00549-0},
year = {2021},
date = {2021-12-01},
urldate = {2021-12-01},
journal = {Formal Aspects of Computing},
volume = {33},
number = {6},
pages = {885–921},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
