-
Notifications
You must be signed in to change notification settings - Fork 4
/
CITATION.cff
101 lines (100 loc) · 3.34 KB
/
CITATION.cff
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: >-
STARS - Scenario-Based Testing of Autonomous Robotic
Systems
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Till
family-names: Schallau
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-1769-3486'
- given-names: Dominik
family-names: Mäckel
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-7866-7927'
- given-names: Stefan
family-names: Naujokat
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-6265-6641'
- given-names: Nick
family-names: Pawlinorz
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0009-0003-6614-1252'
- given-names: Falk
family-names: Howar
email: [email protected]
affiliation: 'TU Dortmund University, Fraunhofer ISST'
orcid: 'https://orcid.org/0000-0002-9524-4459'
repository-code: 'https://github.com/tudo-aqua/stars'
abstract: >-
Extensive testing and simulation in different environments
has been suggested as one piece of evidence for the safety
of autonomous systems, e.g., in the automotive domain. To
enable statements on the absolute number or fractions of
tested scenarios, methods and tools for computing their
coverage are needed. In this paper, we present STARS, a
tool for specifying semantic environment features and
measuring scenario coverage when testing autonomous
systems.
keywords:
- automated driving systems
- temporal logic
- scenario classification
- autonomous-driving
- carla
license: Apache-2.0
preferred-citation:
authors:
- given-names: Till
family-names: Schallau
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-1769-3486'
- given-names: Dominik
family-names: Mäckel
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-7866-7927'
- given-names: Stefan
family-names: Naujokat
email: [email protected]
affiliation: TU Dortmund University
orcid: 'https://orcid.org/0000-0002-6265-6641'
- given-names: Falk
family-names: Howar
email: [email protected]
affiliation: 'TU Dortmund University, Fraunhofer ISST'
orcid: 'https://orcid.org/0000-0002-9524-4459'
title: >-
STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous
Robotic Systems
type: conference-paper
year: 2024
doi: 10.1007/978-3-031-56776-6_6
collection-title: Dependable Computing – EDCC 2024 Workshops
publisher:
name: Springer Nature Switzerland
pages: 62-70
isbn: '9783031567766'
editors:
- family-names: Sangchoolie
given-names: Behrooz
- family-names: Adler
given-names: Rasmus
- family-names: Hawkins
given-names: Richard
- family-names: Schleiss
given-names: Philipp
- family-names: Arteconi
given-names: Alessia
- family-names: Mancini
given-names: Adriano