A Aralex Aachen research explorer

May 01, 2021 conference-paper

Fast Parametric Model Checking through Model Fragmentation

IEEE/ACM International Conference on Software Engineering (ICSE)

DOI: 10.1109/icse43902.2021.00081 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 18

Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

8

citations
Gradient-Descent for Randomized Controllers Under Partial Observability
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

13

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

15

citations
POMDP Controllers with Optimal Budget
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

0

citations
Fine-Tuning the Odds in Bayesian Networks
2021 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

10

citations

5 results

References 0