Reinforcement Learning and Formal Requirements Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio
• Trivedi, Ashutosh

publication date

• July 13, 2019

has restriction

• closed

Date in CU Experts

• January 27, 2020 11:52 AM

Full Author List

• Somenzi F; Trivedi A

Full Editor List

• Zamani M; Zufferey D

author count

• 2

citation count

• 2

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 12th International Workshop on Numerical Software Verification (NSV)  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-030-28423-7_2

International Standard Book Number (ISBN) 13

• 978-3-030-28422-0

Additional Document Info

start page

• 26

end page

• 41

volume

• 11652