Reachability problems: 16th international conference, rp 2022, kaiserslautern, germany, october 17–21, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031191343
Date de publication :
12 oct. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. The RP proceedings cover topics such as reachability for infinite state systems;