Papers

Deciding What is Good-for-MDPs
Sven Schewe, Qiyi Tang and Tansholpan Zhanabekova

DOIPaper

Towards Trustworthy Camera-Based Sensing and Perception Systems
Christian Berghoff, Jona Böddinghaus, Vasilios Danos, Gabrielle Davelaar, Thomas Doms, Heiko Ehrich, Alexandru Forrai, Radu Grosu, Ronan Hamon, Henrik Junklewitz, Matthias Neu, Simon Romanski, Wojciech Samek, Dirk Schlesinger, Jan-Eve Stavesand, Sebastian Steinbach, Arndt von Twickel, Robert Walter, Johannes Weissenböck, Markus Wenzel, Thomas Wiegand

Whitepaper | May 2022. Towards Auditable AI Systems. From Principles to Practice.  Based on the 2nd international Workshop “Towards Auditable AI Systems”, October 26th 2021, Fraunhofer Forum Digitale Technologien, Berlin, organized by the Federal Office for Information Security Germany, the TÜV-Verband and the Fraunhofer HHI

DOIPaper

Information-flow Interfaces
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa

Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241.

DOIPaper

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications
Wenjie Ruan; Xinping Yi; Xiaowei Huang

CIKM ’21: The 30th ACM International Conference on Information and Knowledge Management

DOIPaper

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems
Dong, Yi; Zhao, Xingyu; Huang, Xiaowei

arxiv

Detecting Operational Adversarial Examples for Reliable Deep Learning
Zhao, Xingyu; Huang, Wei; Schewe, Sven; Dong, Yi; Huang, Xiaowei;

51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS – SUPPLEMENTAL VOL (DSN 2021)

DOI Paper

Model-Free Reinforcement Learning for Lexicographic ω-Regular Objectives
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak

24th International Symposium, FM 2021

DOI Paper

TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem

ATVA 2021

DOI Paper

Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, and Xin Qin

19th International Conference on Software Engineering and Formal Methods (SEFM’21)

DOI Paper

EPMC Gets Knowledge in Multi-Agent Systems
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang

VMCAI 2022 – 23rd International Conference on Verification, Model Checking, and Abstract Interpretation

DOI Paper

Continuous Safety Verification of Neural Networks
Chih-Hong Cheng, Rongjie Yan

Design, Automation & Test in Europe Conference & Exhibition (DATE) 2021

DOI Paper

Provably-Robust Runtime Monitoring of Neuron Activation Patterns
Chih-Hong Cheng

Design, Automation & Test in Europe Conference & Exhibition (DATE) 2021

DOI Paper

Safe Imitation Learning on Real-Life Highway Data for Human-like Autonomous Driving
Flavia Sofia Acerbo, Mohsen Alirezaei, Herman Van der Auweraer, Tong Duy Son.

24th IEEE International Conference on Intelligent Transportation – ITSC2021

arxiv

Coverage Guided Testing for Recurrent Neural Networks
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, and Xiaowei Huang

IEEE Transactions on Reliability,

DOI Paper

Testing Autonomous Systems with Believed Equivalence Refinement
Chih-Hong Cheng, Rongjie Yan

IEEE International Conference On Artificial Intelligence Testing (AITest) 2021

DOI Paper

Assessing the reliability of deep learning classifiers through robustness evaluation and operational profiles
Zhao, X., Huang, W., Banks, A., Cox, V., Flynn, D., Schewe, S., and Huang, X.

AISafety’21 Workshop at IJCAI’21

Paper

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Xingyu Zhao, Xiaowei Huang, et. Al.

UAI2021 Proceedings of Machine Learning Research (PMLR)

Published Version | arxiv

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Yuhang Chen, Chih-Hong Cheng, Jun Yan and Rongjie Yan

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021)

arxiv

Safety and Reliability of Deep Learning (Brief Overview)
Xiaowei Huang

Workshop: Verification of Autonomous & Robotic Systems (VARS) 2021

DOI | Paper

Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments
Sebastian vom Dorff, Maximilian Kneissl, Martin Fränzle

ITSC2021 – 24th IEEE International Conference on Intelligent Transportation

arxiv

Safety Metrics for Semantic Segmentation in Autonomous Driving
Chih-Hong Cheng, Alois Knoll, and Hsuan-Cheng Liao

IEEE International Conference On Artificial Intelligence Testing, (AI Test 2021)

DOI Paper

Embedding and Extraction of Knowledge in Tree Ensemble Classifiers
Xingyu Zhao, Xiaowei Huang

Machine Learning journal (Springer)

arxiv

Sampling of Shape Expressions with ShapEx
Nicolas Basset; Thao Dang; Felix Gigler; Cristinel Mateis; Dejan Nickovic

MEMOCODE 2021 – 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

Paper

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving
Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son

MEMOCODE 2021 – 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

arxiv

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang

34th Conference on Neural Information Processing Systems (NeurIPS 2020)

arxiv

accumsan Donec efficitur. vel, commodo Donec odio