A Aralex Aachen research explorer

December 01, 1976 article

Algorithms and Complexity: New Directions and Recent Results

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Authors 0

Author list not loaded yet.

Cited by 6 stored of 419

Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

5

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
Probabilistic Hyperproperties with Rewards
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

6

citations
The complexity of reachability in parametric Markov decision processes
2021 Journal of Computer and System Sciences article Computer Science Formal Methods in Verification Open access

23

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

27

citations
Probabilistic Hyperproperties with Nondeterminism
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

23

citations

6 results

References 0