Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems.

Published in: CoRR (2024)

Keyphrases

formal methods
markov processes
safety critical
safety analysis
expert systems
computer systems
monte carlo
data sets
neural network
artificial intelligence
mobile robot
knowledge based systems
learning automata
optimal control problems
autonomous mobile