k-Inductive Barrier Certificates for Stochastic Systems
Conference Proceeding
Overview
publication date
- May 4, 2022
has restriction
- bronze
Date in CU Experts
- January 31, 2023 3:00 AM
Full Author List
- Anand M; Murali V; Trivedi A; Zamani M
author count
- 4