Optimal Finite-State Monitoring of Partial Traces.
Peeyush KushwahaRahul PurandareMatthew B. DwyerPublished in: RV (2022)
Keyphrases
- finite state
- markov chain
- average cost
- markov decision processes
- action sets
- model checking
- dynamic programming
- tree automata
- monitoring system
- continuous time markov process
- optimal solution
- policy iteration algorithm
- joint optimization
- continuous time bayesian networks
- optimal policy
- natural language processing
- information extraction
- policy iteration
- context free
- continuous state
- stationary policies
- reinforcement learning
- machine learning