by Igor Potapov (Editor), Mikolai Bojanczyk (Editor), Slawomir Lasota (Editor)
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The papers cover a range of topics inthe field of reachability for infinite state systems; reachability in dynamical and hybrid systems;
Format: Paperback
Pages: 200
Edition: 1st ed. 2015
Publisher: Springer
Published: 18 Sep 2015
ISBN 10: 3319245368
ISBN 13: 9783319245362