Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

Haoqing Zhu Yangge Li Keyi Shen Sayan Mitra

Published in: ATVA (1) (2023)

Keyphrases

hybrid automata
finite state automata
ray tracing
incremental learning
shared memory
parallel implementation
model checking
face verification
database systems
upper bound
parallel computing
query processing
noisy data
efficient learning
signature verification