| 书目名称 | Reachability Problems |
| 副标题 | 18th International C |
| 编辑 | Laura Kovács,Ana Sokolova |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024...The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.. |
| 出版日期 | Conference proceedings 2024 |
| 关键词 | reachability; logic; complexity; automata theory; formal languages; model checking; probabilistic systems; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-72621-7 |
| isbn_softcover | 978-3-031-72620-0 |
| isbn_ebook | 978-3-031-72621-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:31:52
