FOUNDATIONS FOR CONTINUOUS ENGINEERING OF TRUSTWORTHY AUTONOMY

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Report: Systematic and coverage-driven testing of learning components

Report Systematic and coveragedriven testing of learning components ULIV

Report: Formal verification of learning components

Report Formal verification of learning components ULIV

Report: Provable safe reinforcement learning

Report Provable safe reinforcement learning TUG

Formal specification for learning-enabled autonomous systems

Formal specification for learningenabled autonomous systems BIU

Report: AI-enabled systematic and intelligent testing of autonomous systems

Report AIenabled systematic and intelligent testing of autonomous systems BIU

Report: Early validation result WP4

Report Early validation result WP4 TUG

"Report on workshop #1 organisation"

Report on workshop 1 organisation UGA

Report: Understanding decision faithfulness of machine learning components

Report Understanding decision faithfulness of machine learning components DNDE

Report: Early validation result WP3

Report Early validation result WP3 FORTISS

"Report on workshop #2 organisation"

Report on workshop 2 organisation UGA

Report: Runtime enforcement for performance while guaranteeing safety

Report Runtime enforcement for performance while guaranteeing safety TUG

Dissemination Action Plan including project corporate identity

Dissemination Action Plan including project corporate identity UGA

Report on public demonstration

Report on public demonstration SIEMENS

Standardisation final report

Standardisation final report INTEL

Dissemination Action Plan including project corporate identity update

Dissemination Action Plan including project corporate identity update UGA

Report: Systematic refinement

Report Systematic refinement BIU

Dissemination set (poster, leaflet, Kakemono) and Website

Dissemination set poster leaflet Kakemono and Website UGA

Project mini-video

Project minivideo UGA

Tool and manual: integrated evidential tool chain for the incremental and continuous generation of safety & security assurance cases

Tool and manual: integrated evidential tool chain for the incremental and continuous generation of safety & security assurance cases (FORTISS)

Project newsletter 1

Project newsletter 1 LUP

Project newsletter 2

Project newsletter 2 (L-UP°

Tool + Manual: Agent building toolkit for performance with safety

Tool + Manual: Agent building toolkit for performance with safety (TUG)

Tool + Manual: Verification and testing of learning-enabled systems

Tool + Manual: Verification and testing of learning-enabled systems (FORTISS)

Project newsletter 3

Project newsletter 3 (L-UP)

Tool + manual: modelling and simulation of autonomy

Tool + manual: modelling and simulation of autonomy (AUTh)

Publikacje

Online Shielding for Reinforcement Learning

Autorzy: Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem
Opublikowane w: Innovations in Systems and Software Engineering, 2022, ISSN 1614-5046
Wydawca: Springer Verlag
DOI: 10.48550/arxiv.2212.01861

Survey on mining signal temporal logic specifications

Autorzy: Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic
Opublikowane w: Information and Computation journal, Numer 08905401, 2022, ISSN 0890-5401
Wydawca: Academic Press
DOI: 10.1016/j.ic.2022.104957

Embedding and Extraction of Knowledge in Tree Ensemble Classifiers

Autorzy: Xingyu Zhao, Xiaowei Huang
Opublikowane w: Machine Learning journal, 2021, ISSN 1573-0565
Wydawca: Springer
DOI: 10.1007/s10994-021-06068-6

Hierarchical Distribution-Aware Testing of Deep Learning

Autorzy: Wei Huang, Xingyu Zhao, ALEC BANKS, VICTORIA COX, Xiaowei Huang
Opublikowane w: Journal ACM transactions on Software Engineering Methods, 2023, ISSN 1049-331X
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.48550/arxiv.2205.08589

Semantic Modeling and Analysis of Natural Language System Requirements

Autorzy: Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades
Opublikowane w: IEEE Access Journal, Numer 21693536, 2022, Strona(/y) 84094-84119, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2022.3197281

Mining Hyperproperties using Temporal Logic

Autorzy: Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Nickovic, Dejan
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer Volume 22, Numer 5, Article No. 156, 2023, Strona(/y) pp 1–26, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3609394

Coverage-Guided Testing for Recurrent Neural Networks

Autorzy: Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Opublikowane w: IEEE Transactions on Reliability, 2021, Strona(/y) 1-16, ISSN 0018-9529
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tr.2021.3080664

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models

Autorzy: Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
Opublikowane w: Information and Software Technology Journal, 2023, Strona(/y) 107286, ISSN 0950-5849
Wydawca: Elsevier BV
DOI: 10.1016/j.infsof.2023.107286

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments

Autorzy: Kizito Salako; Xingyu Zhao
Opublikowane w: IEEE Transactions on Software Engineering, Numer 6, 2023, Strona(/y) 2829 - 2838, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.48550/arxiv.2208.00462

Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty

Autorzy: Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjorner, Nicholas Shoemaker, Scott Shapiro, Ruzica Piskac, Bettina Könighofer
Opublikowane w: Proceedings of the IJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence, 2023, Strona(/y) 372--381, ISBN 978-1-956792-03-4
Wydawca: ijcai.org
DOI: 10.24963/ijcai.2023/42

How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks

Autorzy: Jin, Gaojie; Yi, Xinping; Zhang, Liang; Zhang, Lijun; Schewe, Sven; Huang, Xiaowei
Opublikowane w: 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Numer 1, 2020
Wydawca: Neural Information Processing Systems

Safe, Deterministic Trajectory Planning for Unstructured and Partially Occluded Environments

Autorzy: Sebastian vom Dorff, Maximilian Kneissl, Martin Franzle
Opublikowane w: 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021, Strona(/y) 969-975, ISBN 978-1-7281-9142-3
Wydawca: IEEE
DOI: 10.1109/itsc48978.2021.9565022

Continuous Safety Verification of Neural Networks

Autorzy: Chih-Hong Cheng, Rongjie Yan
Opublikowane w: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Strona(/y) 1478-1483, ISBN 978-3-9819263-5-4
Wydawca: IEEE
DOI: 10.23919/date51398.2021.9473994

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications

Autorzy: Wenjie Ruan; Xinping Yi; Xiaowei Huang
Opublikowane w: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Numer 2021 Proceeding, 2021, ISBN 978-1-4503-8446-9
Wydawca: ACM
DOI: 10.1145/3459637.3482029

Detecting Operational Adversarial Examples for Reliable Deep Learning

Autorzy: Zhao, Xingyu; Huang, Wei; Schewe, Sven; Dong, Yi; Huang, Xiaowei; IEEE,
Opublikowane w: 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), Numer 1, 2021, ISBN 978-1-6654-3566-6
Wydawca: IEEE
DOI: 10.1109/dsn-s52858.2021.00013

Runtime Verification for FMI-Based Co-simulation

Autorzy: Anastasios Temperekidis, Nikolaos Kekatos, and Panagiotis Katsaros
Opublikowane w: Runtime Verification. RV 2022. Lecture Notes in Computer Science, vol 13498, 2022
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-17196-3_19

Enhancing Adversarial Training with Second-Order Statistics of Weights

Autorzy: Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Opublikowane w: CVPR 2022 - 2022 Conference on Computer Vision and Pattern Recognition, 2022
Wydawca: IEEE

Strategies for MDP Bisimilarity Equivalence and Inequivalence

Autorzy: Stefan Kiefer, Qiyi Tang
Opublikowane w: Concur 2022 - 33RD INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY, 2022, Strona(/y) 32:1--32:22, ISBN 978-3-95977-246-4
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2022.32

Learning from Demonstrations of Critical Driving Behaviours Using Driver’s Risk Field

Autorzy: Yurui Du, Flavia Sofia Acerbo, Jens Kober, Tong Duy Son
Opublikowane w: IFAC World Congress 2023, 2023
Wydawca: Elsevier ScienceDirect
DOI: 10.48550/arxiv.2210.01747

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations

Autorzy: Xingyu Zhao, Xiaowei Huang, et. Al.
Opublikowane w: UAI2021 Proceedings of Machine Learning Research (PMLR), Numer Zhao, X.,Huang, W, Huang, X., Robu, V., and Flynn, D. (2021). BayLime: Bayesian local interpretable model-agnostic explanations. UAI2021., 2021
Wydawca: AAAI press

Hidden 1-Counter Markov Models and How to Learn Them

Autorzy: Mehmet Kurucan, Mete Ozbaltan, Sven Schewe, Dominik Wojtczak
Opublikowane w: IJCAI 2022 - 31st International Joint Conference on Artificial Intelligence, 2022, Strona(/y) 4857-4863
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/673

Mining Specification Parameters for Multi-Class Classification

Autorzy: Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic
Opublikowane w: Proceedings of RV 2023 - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, 2023, ISBN 978-3-031-44266-7
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-44267-4

Reliable Multimodal Trajectory Prediction via Error Aligned Uncertainty Optimization

Autorzy: Neslihan Kose Cihangir, Ranganath Krishnan, Akash Dhamasia, Omesh Tickoo, Michael Paulitsch
Opublikowane w: SAIAD 2022 - 4th Workshop Safe Artificial Intelligence for Automated Driving, 2023
Wydawca: Springer
DOI: 10.48550/arxiv.2212.04812

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving

Autorzy: Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son
Opublikowane w: American Control Conference (ACC) 2022, 2021
Wydawca: IEEE

Attribute Repair for Threat Prevention

Autorzy: Tarrach Thorsten; Ebrahimi Masoud; König Sandra; Schmittner Christoph; Bloem Roderick; Nickovic Dejan
Opublikowane w: SafeComp 2023 proceedings, 2023, ISBN 978-3-031-40922-6
Wydawca: Springer
DOI: 10.1007/978-3-031-40923-3

Safe Imitation Learning on Real-Life Highway Data for Human-like Autonomous Driving

Autorzy: Flavia Sofia Acerbo, Mohsen Alirezaei, Herman Van der Auweraer, Tong Duy Son.
Opublikowane w: 24th IEEE International Conference on Intelligent Transportation - ITSC2021, 2021
Wydawca: IEEE

Reinforcement Learning from Simulation to Real World Autonomous Driving using Digital Twin

Autorzy: Kevin L. Voogd, Jean-Pierre Allamaa, Javier Alonso-Mora, Son Tong
Opublikowane w: IFAC World Congress 2023, 2023
Wydawca: Elsevier ScienceDirect
DOI: 10.48550/arxiv.2211.14874

Safety Metrics for Semantic Segmentation in Autonomous Driving

Autorzy: Chih-Hong Cheng, Alois Knoll, Hsuan-Cheng Liao
Opublikowane w: 2021 IEEE International Conference on Artificial Intelligence Testing (AITest), 2021, Strona(/y) 57-64, ISBN 978-1-6654-3481-2
Wydawca: IEEE
DOI: 10.1109/aitest52744.2021.00021

On Neural Network Equivalence Checking using SMT Solvers

Autorzy: Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, and Stavros Tripakis
Opublikowane w: Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science, 2022
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-15839-1_14

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Autorzy: Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem
Opublikowane w: ATVA 2021, Numer 1, 2021, ISBN 978-3-030-88884-8
Wydawca: Springer
DOI: 10.1007/978-3-030-88885-5_15

Formal Specification for Learning-Enabled Autonomous Systems

Autorzy: Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Opublikowane w: Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Numer [2022], 2022, Strona(/y) p.131-143, ISBN 978-3-031-21221-5
Wydawca: Springer
DOI: 10.1007/978-3-031-21222-2_8

Large-Scale Application of Fault Injection into PyTorch Models -- an Extension to PyTorchFI for Validation Efficiency

Autorzy: Ralf Gräfe, Qutub Syed Sha, Florian Geissler, Michael Paulitsch
Opublikowane w: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). Proceedings of DSN 2023 Industry track, 2023, Strona(/y) 56 – 62, ISBN 979-8-3503-2545-4
Wydawca: IEEE
DOI: 10.1109/dsn-s58398.2023.00025

Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components

Autorzy: Hasan Esen, Brian Hsuan-Cheng Liao
Opublikowane w: 10th International Symposium on Development Methodology, 2023, ISBN 978-3-9816971-6-2
Wydawca: AVL Deutschland
DOI: 10.48550/arxiv.2311.03362

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions

Autorzy: Chen, Yuhang; Cheng, Chih-Hong; Yan, Jun; Yan, Rongjie
Opublikowane w: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021), 2021
Wydawca: IEEE

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks

Autorzy: Florian Geissler, Syed Qutub, Michael Paulitsch, and Karthik Pattabiraman
Opublikowane w: SAFECOMP2023 - 42nd International Conference on Computer Safety, Reliability and Security, 2023, ISBN 978-3-031-40922-6
Wydawca: Springer
DOI: 10.1007/978-3-031-40923-3_7

Provably-Robust Runtime Monitoring of Neuron Activation Patterns

Autorzy: Chih-Hong Cheng
Opublikowane w: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Strona(/y) 1310-1313, ISBN 978-3-9819263-5-4
Wydawca: IEEE
DOI: 10.23919/date51398.2021.9473957

Safety and reliability of deep learning - (brief overview)

Autorzy: Xiaowei Huang
Opublikowane w: Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021, Strona(/y) 1-2, ISBN 9781450384445
Wydawca: ACM
DOI: 10.1145/3459086.3459636

Model-Free Reinforcement Learning for Lexicographic ω-Regular Objectives

Autorzy: Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak
Opublikowane w: 24th International Symposium, FM 2021, 2021, ISBN 978-3-030-90870-6
Wydawca: Springer, Cham
DOI: 10.1007/978-3-030-90870-6_8

Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults

Autorzy: Ali Asgari Khoshouyeh, Florian Geissler, Seyed Qutub, Michael Paulitsch, Prashant Nair, Karthik Pattabiraman
Opublikowane w: SC 23 - The International Conference for High Performance Computing, Networking, Storage, and Analysis, 2023, ISBN 979-8-4007-0109-2
Wydawca: ACM Association for Computing Machinery, New York, NY, United States
DOI: 10.1145/3581784.3607084

Testing Autonomous Systems with Believed Equivalence Refinement

Autorzy: Chih-Hong Cheng, Rongjie Yan
Opublikowane w: 2021 IEEE International Conference on Artificial Intelligence Testing (AITest), 2021, Strona(/y) 49-56, ISBN 978-1-6654-3481-2
Wydawca: IEEE
DOI: 10.1109/aitest52744.2021.00020

Assessing the reliability of deep learning classifiers through robustness evaluation and operational profiles

Autorzy: Zhao, X., Huang, W., Banks, A., Cox, V., Flynn, D., Schewe, S., and Huang, X.
Opublikowane w: AISafety’21 Workshop at IJCAI’21, 2021
Wydawca: CEUR

Information-flow Interfaces

Autorzy: Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa
Opublikowane w: Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241., 2022, ISBN 978-3-030-99428-0
Wydawca: Springer, Cham
DOI: 10.1007/978-3-030-99429-7_1

Formal XAI via Syntax-Guided Synthesis

Autorzy: Bjørner, Katrine; Judson, Samuel; Cano, Filip; Goldman, Drew; Shoemaker, Nick; Piskac, Ruzica; Könighofer, Bettina
Opublikowane w: AISoLA 2023 proceedings, 2023, ISBN 978-3-031-46002-9
Wydawca: Springer Cham
DOI: 10.5281/zenodo.8382832

Search-Based Testing of Reinforcement Learning

Autorzy: Martin Tappler, Filip Cano Cordoba, Bernhard Aichernig, Bettina Könighofer
Opublikowane w: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022) Main Track., Numer Thirty-First Conference, 23-29 July 2022, 2022, Strona(/y) 503-510, ISBN 978-1-956792-00-3
Wydawca: ijcai.org
DOI: 10.24963/ijcai.2022/72

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enable Systems

Autorzy: Yi Qi, Philippa Ryan, Wei Huang, Xingyu Zhao and Xiaowei Huang
Opublikowane w: AISafety 2022 workshop at IJCAI2022, 2022
Wydawca: CEUR Workshop Proceedings
DOI: 10.48550/arxiv.2206.10216

Safety Shielding under Delayed Observation

Autorzy: Filip Cano, Alexander Palmisano, Martin Fraenzle, Roderick Bloem and Bettina Koenighofer
Opublikowane w: ICAPS 2023 - 33rd International Conference on Automated Planning and Scheduling, 2023, ISSN 2334-0843
Wydawca: AAAI Press.
DOI: 10.1609/icaps.v33i1.27181

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Autorzy: Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Ničković, D. and Könighofer, B.
Opublikowane w: SPIN'23 proceedings, 2023, ISBN 978-3-031-32157-3
Wydawca: Springer Cham
DOI: 10.1007/978-3-031-32157-3_8

Specification-guided critical scenario identification for automated driving

Autorzy: Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, and Hasan Esen
Opublikowane w: FM 2023 - 25th International Symposium on Formal Methods, 2023, Strona(/y) 610-621, ISBN 978-3-031-27480-0
Wydawca: Springer
DOI: 10.1007/978-3-031-27481-7_35

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems

Autorzy: Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed AbdElsalam, Ashraf Salem
Opublikowane w: MESAS 2022 - 9th International Conference on Modelling and Simulation for Autonomous Systems, Numer 2022 Proceedings, 2023, Strona(/y) 163-181
Wydawca: Springer Cham
DOI: 10.1007/978-3-031-31268-7_10

Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs

Autorzy: Syed Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, and Alois Knoll
Opublikowane w: Safecomp 2022, Numer 41st, 2022, Strona(/y) 298-318, ISBN 978-3-031-14835-4
Wydawca: Springer
DOI: 10.1007/978-3-031-14835-4_20

DeepSTL - From English Requirements to Signal Temporal Logic

Autorzy: Jie He, Ezio Bartocci, Dejan Nickovic and Radu Grosu
Opublikowane w: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022, Strona(/y) 610–622
Wydawca: ACM Digital Library
DOI: 10.1145/3510003.3510171

Mining Shape Expressions with ShapeIt

Autorzy: Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, and Xin Qin
Opublikowane w: 19th International Conference on Software Engineering and Formal Methods (SEFM'21), 2021
Wydawca: Springer
DOI: 10.5281/zenodo.5597000

Sampling of Shape Expressions with ShapEx

Autorzy: Nicolas Basset; Thao Dang; Felix Gigler; Cristinel Mateis; Dejan Nickovic
Opublikowane w: ACM Digital Library, 2021
Wydawca: ACM
DOI: 10.5281/zenodo.5550069

EPMC Gets Knowledge in Multi-Agent Systems

Autorzy: Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang
Opublikowane w: VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Numer volume 13182, 2022, Strona(/y) pages: 93-107, ISBN 978-3-030-94583-1
Wydawca: Springer
DOI: 10.1007/978-3-030-94583-1_5

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers

Autorzy: Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Opublikowane w: SafeComp 2023 proceedings, Numer vol 14181, 2023, ISBN 978-3-031-40922-6
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-40923-3_8

Automata Learning meets Shielding

Autorzy: Martin Tappler, Stefan Pranger, Bettina K¨onighofer, Edi Muˇskardin, Roderick Bloem, and Kim Larsen
Opublikowane w: ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation Principles, 2022, Strona(/y) pp 335–359
Wydawca: Springer
DOI: 10.48550/arxiv.2212.01838

Robustness Verification for Attention Networks using Mixed Integer Programming

Autorzy: Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneissl, Alois Knoll
Opublikowane w: 2022
Wydawca: Arxiv
DOI: 10.48550/arxiv.2202.03932

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems

Autorzy: Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin
Opublikowane w: Arxiv, 2023
Wydawca: Arxiv
DOI: 10.48550/arxiv.2306.10296

Virtual Reality Assisted Human Perception in ADAS Development: a Munich 3D Model Study

Autorzy: Felix Bognar, Oster Markus, Herman Van der Auweraer, Tong Duy Son
Opublikowane w: 2022
Wydawca: Arxiv
DOI: 10.48550/arxiv.2208.07208

Adversarial Robustness Improvement for Deep Neural Networks

Autorzy: Charis Eleftheriadis, Andreas Symeonidis, and Panagiotis Katsaros
Opublikowane w: Preprint accepted with revision in Machine Vision and Applications, 2023
Wydawca: Springer
DOI: 10.21203/rs.3.rs-3351648/v1

Improving the Safety of 3D Object Detectors in Autonomous Driving using IoGT and Distance Measures

Autorzy: Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Opublikowane w: 2023
Wydawca: Arxiv
DOI: 10.48550/arxiv.2209.10368

Towards Trustworthy Camera-Based Sensing and Perception Systems

Autorzy: 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
Opublikowane w: 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, 2022
Wydawca: Bundesamt für Sicherheit in der Informationstechnik, Fraunhofer-Institut für Nachrichtentechnik, TÜV-Verband e. V.

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems

Autorzy: Dong, Yi; Zhao, Xingyu; Huang, Xiaowei
Opublikowane w: Numer 2, 2021
Wydawca: ArXiv
DOI: 10.48550/arxiv.2109.06523

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

Autorzy: Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, Andre Freitas, Mustafa A. Mustafa
Opublikowane w: 2023
Wydawca: Arxiv
DOI: 10.48550/arxiv.2305.11391

Deciding What is Good-for-MDPs

Autorzy: Sven Schewe, Qiyi Tang and Tansholpan Zhanabekova
Opublikowane w: 2022
Wydawca: Arxiv
DOI: 10.48550/arxiv.2202.07629

Wyszukiwanie danych OpenAIRE...

Rezultaty

Publikacje

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony