Articoli con mandati relativi all'accesso pubblico - Marta KwiatkowskaUlteriori informazioni
Non disponibile pubblicamente: 1
Adaptive aggregation of Markov chains: Quantitative analysis of chemical reaction networks
A Abate, L Brim, M Češka, M Kwiatkowska
International Conference on Computer Aided Verification, 195-213, 2015
Mandati: European Commission
Disponibili pubblicamente: 134
Safety verification of deep neural networks
X Huang, M Kwiatkowska, S Wang, M Wu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Mandati: UK Engineering and Physical Sciences Research Council
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Mandati: UK Engineering and Physical Sciences Research Council
Feature-guided black-box safety testing of deep neural networks
M Wicker, X Huang, M Kwiatkowska
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
Mandati: National Natural Science Foundation of China, UK Engineering and Physical …
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
Mandati: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Formal Methods in System Design 43, 61-92, 2013
Mandati: UK Engineering and Physical Sciences Research Council
Current state and future directions of technology-based ecological momentary assessment and intervention for major depressive disorder: a systematic review
D Colombo, J Fernández-Álvarez, A Patané, M Semonella, ...
Journal of clinical medicine 8 (4), 465, 2019
Mandati: UK Engineering and Physical Sciences Research Council, European Commission …
Guiding the folding pathway of DNA origami
KE Dunn, F Dannenberg, TE Ouldridge, M Kwiatkowska, AJ Turberfield, ...
Nature 525 (7567), 82-86, 2015
Mandati: UK Biotechnology and Biological Sciences Research Council, UK Engineering …
Invariant causal prediction for block mdps
A Zhang, C Lyle, S Sodhani, A Filos, M Kwiatkowska, J Pineau, Y Gal, ...
International Conference on Machine Learning, 11214-11224, 2020
Mandati: European Commission
A game-based approximate verification of deep neural networks with provable guarantees
M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska
Theoretical Computer Science 807, 298-329, 2020
Mandati: National Natural Science Foundation of China, UK Engineering and Physical …
Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
R Michelmore, M Wicker, L Laurenti, L Cardelli, Y Gal, M Kwiatkowska
2020 IEEE international conference on robotics and automation (ICRA), 7344-7350, 2020
Mandati: UK Engineering and Physical Sciences Research Council
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54, 589-623, 2017
Mandati: European Commission
Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
IJCAI-19, 2019
Mandati: UK Engineering and Physical Sciences Research Council
Robustness of 3d deep learning in an adversarial setting
M Wicker, M Kwiatkowska
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
Mandati: UK Engineering and Physical Sciences Research Council
Broken hearted: How to attack ECG biometrics
S Eberz, N Paoletti, M Roeschlin, M Kwiatkowska, I Martinovic, A Patané
Network and Distributed System Security Symposium 2017, 2017
Mandati: UK Engineering and Physical Sciences Research Council, European Commission
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
Mandati: UK Engineering and Physical Sciences Research Council
PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
M Kwiatkowska, G Norman, D Parker, G Santos
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Mandati: UK Engineering and Physical Sciences Research Council, European Commission
Analysis of a gossip protocol in PRISM
M Kwiatkowska, G Norman, D Parker
ACM SIGMETRICS Performance Evaluation Review 36 (3), 17-22, 2008
Mandati: German Research Foundation
Probabilistic model checking: Advances and applications
M Kwiatkowska, G Norman, D Parker
Formal System Verification: State-of the-Art and Future Trends, 73-121, 2018
Mandati: US Department of Defense, UK Engineering and Physical Sciences Research Council
Stochastic analysis of chemical reaction networks using linear noise approximation
L Cardelli, M Kwiatkowska, L Laurenti
Biosystems 149, 26-33, 2016
Mandati: European Commission
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software