Login / Signup
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