Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic...”