Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks Conference Proceeding

Overview

CU Boulder Authors

Myers, Christopher

publication date

September 9, 2024

has restriction

closed

Date in CU Experts

December 31, 2024 9:05 AM

Full Author List

Ahmadi M; Buecherl L; Myers CJ; Zhang Z; Winstead C; Zheng H

Full Editor List

Hillston J; Soudjani S; Waga M

author count

6

citation count

0

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

1st International Joint Conference on 21st International Conference on Quantitative Evaluation of SysTems (QEST) / 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) 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-68416-6_12

International Standard Book Number (ISBN) 13

978-3-031-68415-9

Additional Document Info

start page

196

end page

212

volume

14996