4 citations · 9 across the 8 of their papers we have counts for
4 papers
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation
Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska
This report summarises the outcomes of a systematic literature search to identify Bayesian network models used to support decision making in healthcare. After describing the search…
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Stochastic games are a convenient formalism for modelling systems that comprise rational agents competing or collaborating within uncertain environments. Probabilistic model checki…
Robustness of Unsupervised Representation Learning without Labels
Aleksandar Petrov, Marta Kwiatkowska
Unsupervised representation learning leverages large unlabeled datasets and is competitive with supervised learning. But non-robust encoders may affect downstream task robustness.…
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concer…