22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) Conference

Publications

related documents

Deductive Proofs of Almost Sure Persistence and Recurrence Properties Conference Proceeding
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities Conference Proceeding