Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings
暫譯: 可達性問題：第十四屆國際會議，Rp 2020，法國巴黎，2020年10月19-21日，會議論文集

Schmitz, Sylvain, Potapov, Igor

Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings
  • 出版商: Springer
  • 出版日期: 2020-10-13
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 165
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030617386
  • ISBN-13: 9783030617387

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.

The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.

商品描述(中文翻譯)

本書為第十四屆國際可達性問題會議（RP 2020）的經過審稿的會議論文集，該會議於2020年10月在法國巴黎舉行。

本卷收錄的8篇完整論文是從25篇投稿中仔細審核和選出的。此外，本卷還包含2篇邀請論文。這些論文涵蓋的主題包括：無限狀態系統的可達性；重寫系統；在計數器/定時/細胞/通訊自動機中的可達性分析；Petri 網；半群、群和環的計算方面；動態和混合系統中的可達性；可決與不可決可達性問題之間的邊界；複雜性和可決性方面；迭代映射中的可預測性；以及新的計算範式。

類似商品