Search Results for author:
Found 2 papers, 0 papers with code
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Our approach can guarantee safety while increasing utilization of the experimental controller over existing approaches.
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Probabilistic Computation Tree Logic (PCTL) is frequently used to formally specify control objectives such as probabilistic reachability and safety.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
