On the minimal revision problem of specification automata Journal Article

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• October 1, 2015

has restriction

• closed

Date in CU Experts

• October 22, 2015 3:27 AM

Full Author List

• Kim K; Fainekos G; Sankaranarayanan S

author count

• 3

citation count

• 15

published in

• International Journal of Robotics Research  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0278-3649

Electronic International Standard Serial Number (EISSN)

• 1741-3176

Digital Object Identifier (DOI)

• https://doi.org/10.1177/0278364915587034

Additional Document Info

start page

• 1515

end page

• 1535

volume

• 34

issue

• 12