On the minimal revision problem of specification automata.
Journal Article
Overview
publication date
- January 1, 2015
has restriction
- closed
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Kim K; Fainekos G; Sankaranarayanan S
author count
- 3
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1515
end page
- 1535
volume
- 34
number
- 12