Reachability Problems, Kartoniert / Broschiert

Reachability Problems

Buch

19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings

Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 30.11.2025.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.

Aktueller Preis: EUR 63,51

Versandkosten

Herausgeber:: Pierre Ganty, Alessio Mansutti
Verlag:: Springer-Verlag GmbH, 11/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032095237
Artikelnummer:: 12462737
Sonstiges:: Approx. 250 p.
Erscheinungstermin:: 30.11.2025
Serie:: Lecture Notes in Computer Science - Band 16230
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.