Collaborated with:∅ M.Wu X.H.0001 S.Wang R.Calinescu M.C.0002 S.Gerasimou N.Paoletti Y.Sun W.Ruan D.Kroening
Talks about:deep (3) network (2) safeti (2) robust (2) neural (2) synthesi (1) parametr (1) guarante (1) softwar (1) provabl (1)
Person: Marta Kwiatkowska
DBLP: Kwiatkowska:Marta
Contributed to:
2018
2019
2017
2017Wrote 4 papers:
- ASE-2018-SunWRHKK #network #testing
- Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
- ESEC-FSE-2019-Kwiatkowska #learning #robust #safety
- Safety and robustness for deep learning with provable guarantees (keynote) (MK), p. 2.
- CAV-2017-HuangKWW #network #safety #verification
- Safety Verification of Deep Neural Networks (XH0, MK, SW, MW), pp. 3–29.
- ICSA-2017-CalinescuCGKP #design #markov #parametricity #robust #synthesis
- Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.