English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse
  1. Item Summary / 
  2. View item

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Specifying and Testing k-Safety Properties for Machine-Learning Models

Christakis, M., Eniser, H. F., Hoffmann, J., Singla, A., & Wüstholz, V. (2023). Specifying and Testing k-Safety Properties for Machine-Learning Models. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 4748-4757). IJCAI. doi:10.24963/ijcai.2023/528.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000A-CFBA-C Version Permalink: https://hdl.handle.net/21.11116/0000-000F-771B-E
Genre: Conference Paper
Latex : Specifying and Testing $k$-Safety Properties for Machine-Learning Models

Files

show Files
hide Files
:
arXiv:2206.06054.pdf (Preprint), 412KB
 
File Permalink:
-
Name:
arXiv:2206.06054.pdf
Description:
File downloaded from arXiv at 2022-08-03 15:36
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Locators

show
hide
Locator:
https://www.ijcai.org/proceedings/2023/0528.pdf (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Christakis, Maria1, Author           
Eniser, Hassan Ferit1, Author           
Hoffmann, Jörg2, Author
Singla, Adish3, Author                 
Wüstholz, Valentin2, Author
Affiliations:
1Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society, ou_2541696              
2External Organizations, ou_persistent22              
3Group A. Singla, Max Planck Institute for Software Systems, Max Planck Society, ou_2541698              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20232023
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: ChristaikisIJCAI23
DOI: 10.24963/ijcai.2023/528
 Degree: -

Event

show
hide
Title: Thirty-Second International Joint Conference on Artificial Intelligence
Place of Event: Macao
Start-/End Date: 2023-08-19 - 2023-08-25

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
  Abbreviation : IJCAI 2023
Source Genre: Proceedings
 Creator(s):
Elkind, Edith, Editor
Affiliations:
-
Publ. Info: IJCAI
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 4748 - 4757 Identifier: ISBN: 978-1-956792-03-4