A Aralex Aachen research explorer

September 01, 2017 conference-paper

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms

Proceedings/Proceedings - Symposium on Reliable Distributed Systems

DOI: 10.1109/srds.2017.22 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 13

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

21

citations
Synthesizing optimal bias in randomized self-stabilization
2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

3

citations
Finding Provably Optimal Markov Chains
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

12

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations

5 results

References 0