Reachability Problems: 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings...

— —

Pierre Ganty Alessio Mansutti

Reachability Problems

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

Pierre Ganty, Alessio Mansutti

$147.95 $118.08

Paperback

Forthcoming
Pre-Order now

QTY:

English

Springer Nature Switzerland AG
07 December 2025

Software Engineering; Mathematical theory of computation; Artificial intelligence

Series: Lecture Notes in Computer Science

Summary
Details

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.

Edited by: Pierre Ganty, Alessio Mansutti
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783032095237
ISBN 10: 3032095239
Series: Lecture Notes in Computer Science
Pages: 248
Publication Date: 07 December 2025
Audience: College/higher education , Further / Higher Education
Format: Paperback
Publisher's Status: Forthcoming