Reachability Problems: 18th International Conference, Rp 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Kovács, Laura, Sokolova, Ana
- 出版商: Springer
- 出版日期: 2024-09-20
- 售價: $2,740
- 貴賓價: 9.5 折 $2,603
- 語言: 英文
- 頁數: 239
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031726200
- ISBN-13: 9783031726200
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第18屆國際可達性問題會議（RP 2024）的會議紀錄，該會議於2024年9月25日至27日在奧地利維也納舉行。
本會議紀錄中包含的13篇完整論文經過仔細審查和選擇，來自37篇投稿。此外，本書還包含兩篇完整長度的邀請演講。這些論文涵蓋了可計算性與可達性、 automata 與複雜性、線性系統與遞歸，以及遊戲與抽象等主題。
