Login / Signup
Compositional Minimisation of Finite State Systems Using Interface Specifications.
Susanne Graf
Bernhard Steffen
Gerald Lüttgen
Published in:
Formal Aspects Comput. (1996)
Keyphrases
</>
finite state
markov chain
markov decision processes
distributed systems
transition systems
model checking
information retrieval
objective function
dynamic programming
linear programming
image compression
optimal policy
formal specification