Abstract Model checking undiscounted reachability and expected-reward properties on
Markov decision processes (MDPs) is key for the verification of systems that act under …

Product customization and frequent market changes force manufacturing companies to
employ mixed-model instead of simple assembly lines. To well adjust the line's capacity to …

When emergency departments (EDs) are crowded and cannot accept incoming ambulance
patients immediately, paramedics commonly continue to provide patient care until an ED …

This article considers a preventive maintenance problem related to cyber security in
universities. A Bayesian Reinforcement Learning (BRL) problem is formulated using limited …

In this paper, a stochastic framework is proposed for optimizing replacement strategies of
aged XLPE cables in the electric power distribution network. The proposed framework …

Given a reward structure, this paper addresses an optimal replacement problem for complex
multi-component systems. To maintain revenue stream resulting from system, the system is …

The shortage of inpatient beds causes surgery cancellations, treatment delays, and
inappropriate ward arrangements. That is why studying how to make admission decisions …

Constrained partially observable Markov decision processes (CPOMDPs) have been used
to model various real-world phenomena. However, they are notoriously difficult to solve to …

Data admission control is an important issue in wireless sensor networks (WSNs) because
of the limited transmission coverage area and the limited battery capability of each sensor …

We consider infinite-horizon Markov Decision Processes where parameters, such as
transition probabilities, are unknown and estimated from data. The popular distributionally …