34 citations · 174 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
cs.LO2020
Revisiting Parameter Synthesis for One-Counter Automata
Guillermo A. Pérez, Ritam Raha
We study the (parameter) synthesis problem for one-counter automata with parameters. One-counter automata are obtained by extending classical finite-state automata with a counter w…