Optimal Repair for Omega-Regular Properties Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• October 25, 2022

Date in CU Experts

• February 2, 2023 1:37 AM

Full Author List

• Dave V; Krishna SN; Murali V; Trivedi A

Full Editor List

• Bouajjani A; Holik L; Wu Z

author count

• 4

citation count

• 0

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 20th International Symposium on Automated Technology for Verification and Analysis  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-031-19992-9_23

International Standard Book Number (ISBN) 13

• 978-3-031-19991-2

Additional Document Info

start page

• 354

end page

• 370

volume

• 13505