The complexity of reachability in parametric Markov decision processes

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2021
Source ID
10.1016/j.jcss.2021.02.006

Entities

People

  • Guillermo A. Pérez
  • Joost-Pieter Katoen
  • Sebastian Junges
  • Tobias Winkler

Organizations

  • Defense Advanced Research Projects Agency
  • European Research Council
  • German Research Foundation
  • National Sleep Foundation