Search Results for author:
Found 3 papers, 0 papers with code
Benchmarks of Extended Basis Reachability Graphs
In this note, we want to provide a comparison among the efficiency of different approaches for the verification of K-step and infinite-step opacity based on three different graphs: the Extended Basis Reachability Graph (EBRG), the Basis Reachability Graph (BRG) when applicable, and the Reachability Graph (RG).
A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance
Instead, in this work, a novel framework that integrates a passenger flow module (PFM) and a train operation module (TOM) is proposed with the aim of simultaneously minimizing traffic delays and passengers' discomfort.
Orthogonal Policy Gradient and Autonomous Driving Application
One less addressed issue of deep reinforcement learning is the lack of generalization capability based on new state and new target, for complex tasks, it is necessary to give the correct strategy and evaluate all possible actions for current state.
