Reasoning about Finite-State Switched Systems.

Dana Fisman Orna Kupferman

Published in: Haifa Verification Conference (2009)

Keyphrases

finite state
markov chain
markov decision processes
distributed systems
retrieval systems
model checking
probabilistic model
state space
transition systems