書目名稱 | Reachability Problems |
副標(biāo)題 | 18th International C |
編輯 | Laura Kovács,Ana Sokolova |
視頻video | http://file.papertrans.cn/822/821826/821826.mp4 |
叢書名稱 | 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 |
關(guān)鍵詞 | 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 |