Login / Signup
Finite State Semantics.
András Kornai
Published in:
GLDV-Jahrestagung (1986)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
formal semantics
optimal policy
tree automata
context free
partially observable markov decision processes
transition systems
linear programming
vector quantization
semantic information
vector quantizer
average cost