Placeholder text
Reachability Problems
By Pierre Ganty
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
276
Release Date:
2025-11-06
Publication Date:
2025-11-06
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032095239
ISBN13:
9783032095237
GPSR Manufacturer Reference:
Weight:
423 g
Height:
155 cm
Width:
235 cm
Thickness:
16 cm
Currently sold out