Optimal Runtime Verification of Finite State Properties over Lossy Event Streams.

Peeyush Kushwaha Rahul Purandare Matthew B. Dwyer

Published in: CoRR (2020)

Keyphrases

finite state
model checking
markov chain
average cost
action sets
markov decision processes
temporal logic
event streams
optimal policy
dynamic programming
real time
xml documents
state space
data flow
episode mining