Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances.

Ruiqi Hu Kairong Liu Zhikun She

Published in: MEMOCODE (2022)

Keyphrases

decision making
multiscale
management system
hidden markov models
information retrieval
artificial intelligence
website
digital libraries
expert systems
intelligent systems
computer systems
knowledge based systems
petri net
face verification
formal methods