When cyber-physical systems (CPSs) are operational, its computing units frequently interact
with complex and uncertain physical environments in time and space. To ensure the safety …

We consider the problem of approximating the reachability probabilities in Markov decision
processes (MDP) with uncountable (continuous) state and action spaces. While there are …

We consider the problem of safety analysis of probabilistic hybrid systems, which capture
discrete, continuous and probabilistic behaviors. We present a novel counterexample …

Aerial refueling is capable of increasing the endurance and flight range of aircraft. However,
during the docking phase of aerial refueling, the docking risk increases as the receiver …

Stochastic hybrid systems consist of software-controlled physical processes, where
uncertainties manifest due to either disturbance in the environment in which the physical …

We study the problem of safety verification of linear discrete-time stochastic systems (linear
DTSS) over bounded and unbounded time horizons. Linear DTSS capture random …