Reachability Problems: 19th International Conference, Rp 2025, Madrid, Spain, October 1-3, 2025, Proceedings
暫譯: 可達性問題：第十九屆國際會議，Rp 2025，西班牙馬德里，2025年10月1-3日，會議論文集

Ganty, Pierre, Mansutti, Alessio

Reachability Problems: 19th International Conference, Rp 2025, Madrid, Spain, October 1-3, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-11-06
  • 售價: $2,810
  • 貴賓價: 9.5 折 $2,670
  • 語言: 英文
  • 頁數: 248
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032095239
  • ISBN-13: 9783032095237
  • 相關分類: Algorithms-data-structures

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.

The 12 full papers included in these proceedings were carefully reviewed and selected from 35 submissions. The book also contains three invited talks in full paper length. The papers cover topics in reachability problems that appear, among others, in algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computation, decision procedures in computational models, hybrid dynamical systems, logic and model checking, and verification of finite- and infinite-state systems.

商品描述(中文翻譯)

本書為第19屆國際可達性問題會議（RP 2025）的會議論文集，該會議於2025年10月1日至3日在西班牙馬德里舉行。

本論文集中包含的12篇完整論文經過仔細審核和選擇，來自35篇投稿。該書還包含三篇完整長度的邀請演講。這些論文涵蓋了可達性問題的主題，包括代數結構、自動機理論和形式語言、計算遊戲理論、併發和分散計算、計算模型中的決策程序、混合動力系統、邏輯和模型檢查，以及有限和無限狀態系統的驗證等。

類似商品