Residual Runtime Verification via Reachability Analysis.

Chukri Soueidi Yliès Falcone

Published in: VSTTE (2022)

Keyphrases

reachability analysis
model checking
temporal logic
formal verification
markov decision processes
verification method
timed automata
finite state
formal methods
incremental algorithms
state space
video sequences
least squares
face verification
policy iteration