A Scenario Approach for Synthesizing k-Inductive Barrier Certificates Journal Article
Overview
publication date
- January 1, 2022
has restriction
- bronze
Date in CU Experts
- June 21, 2022 11:55 AM
Full Author List
- Murali V; Trivedi A; Zamani M
author count
- 3
published in
Other Profiles
International Standard Serial Number (ISSN)
- 2475-1456
Digital Object Identifier (DOI)
Additional Document Info
start page
- 3247
end page
- 3252
volume
- 6