Sign in
Synthesizing Finite-State Protocols from Scenarios and Requirements.
Rajeev Alur
Milo M. K. Martin
Mukund Raghothaman
Christos Stergiou
Stavros Tripakis
Abhishek Udupa
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
optimal policy
average cost
partially observable markov decision processes
policy iteration
context free
tree automata
continuous time bayesian networks
state space
vector quantizer
real time systems
action sets