no code implementations • 6 Oct 2023 • Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
Our approach can guarantee safety while increasing utilization of the experimental controller over existing approaches.
no code implementations • 1 Apr 2020 • Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Probabilistic Computation Tree Logic (PCTL) is frequently used to formally specify control objectives such as probabilistic reachability and safety.