k-Inductive Barrier Certificates for Stochastic Systems Conference Proceeding uri icon

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

Other Profiles