Items where Author is "Kwiatkowska, Marta"

Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Křetínský, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz (2025) Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS, 4: 13268.

Wu, Min and Wicker, Matthew and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta (2020) A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Theoretical Computer Science, 807. pp. 298-329. ISSN 0304-3975

Wu, Min and Louw, Tyron and Lahijanian, Morteza and Ruan, Wenjie and Huang, Xiaowei and Merat, Natasha and Kwiatkowska, Marta (2020) Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) :. IEEE, CHN, pp. 6210-6216. ISBN 9781728140049

Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta (2019) Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China :. IJCAI, pp. 5944-5952. ISBN 9780999241141

Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic testing for deep neural networks. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 :. Association for Computing Machinery (ACM), New York, pp. 109-119. ISBN 9781450359375

Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta (2018) Reachability analysis of deep neural networks with provable guarantees. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 :. International Joint Conferences on Artificial Intelligence, SWE, pp. 2651-2659. ISBN 9780999241127