output
20022026
most citedSupplementary information for "Quantum supremacy using a programmable superconducting processor"

7.2k citations

researchers with a paper here
collaborating institutions
Showing 2020 · cs.LOShow all

1 paper · 2 filters

cs.LO2020★ 10 cited

The Complexity of Reachability in Parametric Markov Decision Processes

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez +1

This article presents the complexity of reachability decision problems for parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where tran…