Introducing Probabilities in Controller Strategies
| Title | Introducing Probabilities in Controller Strategies |
| Publication Type | Conference Proceedings |
| Year of Conference | 2014 |
| Authors | den Hartog, J, Matteucci, I |
| Conference Name | 3rd International Workshop on Quantitative Aspects in Security Assurance |
| Volume | LNCS |
| Publisher | Springer |
Work Package:
WP3
