The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.
Publisher: Springer Nature Switzerland AG
Number of pages: 161
Weight: 291 g
Dimensions: 235 x 155 mm
Edition: 1st ed. 2018
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?