Articoli correlati a Reachability Problems: 20th International Conference,...

Reachability Problems: 20th International Conference, RP 2026, Turku, Finland, October 21–23, 2026, Proceedings - Brossura

 
9783032411662: Reachability Problems: 20th International Conference, RP 2026, Turku, Finland, October 21–23, 2026, Proceedings
Brossura
ISBN 10: 3032411661 ISBN 13: 9783032411662
Casa editrice: Springer Nature Switzerland AG, 2026

Sinossi

This book constitutes the refereed proceedings of the 20th International Conference on Reachability Problems, RP 2026, held in Turku, Finland, during October 21–23, 2026.

The 10 full papers included in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain two invited talks in full paper length. 

The papers cover topics of a wide range of disciplines and backgrounds who share an interest in reachability problems in areas such as algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computing, decision procedures for computational models, hybrid dynamical systems, logic and model checking, and the verification of finite-and infinite-state systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Nature Switzerland AG
Data di pubblicazione
2026
Lingua
Inglese
ISBN 10 
3032411661
ISBN 13 
9783032411662
Rilegatura
Copertina flessibile
Numero di pagine
209
Redattore
Halava Vesa, Kari Jarkko
Contatto del produttore
Elevation
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Germania