Synthesizing Finite-state Protocols from Scenarios and Requirements.
Rajeev AlurMilo M. K. MartinMukund RaghothamanChristos StergiouStavros TripakisAbhishek UdupaPublished in: CoRR (2014)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- partially observable markov decision processes
- transition systems
- continuous time bayesian networks
- continuous time markov process
- average cost
- finite state transducers
- completely independent
- machine learning
- vector quantizer
- tree automata