Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift.

Navid Hashemi Lars Lindemann Jyotirmoy V. Deshmukh

Published in: CoRR (2024)

Keyphrases

reachability analysis
cyber physical systems
markov decision processes
model checking
cyber physical
timed automata
physical world
real time
social networks
control system
state space
optimal policy
statistical methods