Publications

Filters: Author is Ilaria Matteucci [Clear All Filters]

2014

J. den Hartog and I. Matteucci, “Introducing Probabilities in Controller Strategies”, 3rd International Workshop on Quantitative Aspects in Security Assurance, vol. LNCS. 2014.