C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).
Sandeep K. Shukla
Harry B. Hunt III
Daniel J. Rosenkrantz
Richard Edwin Stearns
Published in:
ICALP (1996)
Keyphrases
</>
extended abstract
finite state
markov chain
data model
np complete
markov decision processes
information retrieval
probabilistic model
model checking
decision problems
partially observable markov decision processes