C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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