Runtime Verification on Abstract Finite State Models.

KP Jevitha Bharat Jayaraman M. Sethumadhavan

Published in: CoRR (2024)

Keyphrases

finite state
model checking
markov chain
probabilistic model
information retrieval
process model
markov decision processes
continuous time bayesian networks
sufficient conditions
formal verification
tree automata
finite state transducers