Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

A distinctive feature of online retail is the flexibility to ship items to customers from different
distribution centers (DCs). This creates interdependence between DCs and poses new …

The hierarchical organisation of distributed systems can provide an efficient decomposition
for machine learning. This paper proposes an algorithm for cooperative policy construction …

This paper is about the design of control sequences for discrete event systems (DESs)
modeled with bounded partially controlled timed Petri nets (PC-TPNs) including a set of …

Reinforcement learning tree-based planning methods have been gaining popularity in the
last few years due to their success in single-agent domains, where a perfect simulator model …

View Video Presentation: https://doi. org/10.2514/6.2022-1839. vid Uncertainty and partial or
unknown information about environment dynamics have led reward-based methods to play …

Optimal control synthesis in stochastic systems with respect to quantitative temporal logic
constraints can be formulated as linear programming problems. However, centralized …

Reinforcement learning tree-based planning methods have been gaining popularity in the
last few years due to their success in single-agent domains, where a perfect simulator model …

Conventional algorithms for solving Markov decision processes (MDPs) become intractable
for a large finite state and action spaces. Several studies have been devoted to this issue …

This paper is about control sequences design for Discrete Event Systems (DES) modeled
with Time Petri nets (TPN) including a set of temporal specifications. Petri nets are known as …