-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathaccepted_papers.html
More file actions
219 lines (205 loc) · 14.4 KB
/
accepted_papers.html
File metadata and controls
219 lines (205 loc) · 14.4 KB
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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
<!DOCTYPE html>
<html lang=""en>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<title>HSCC 2020 Accepted Papers</title>
<link rel="stylesheet" href="styling.css" type="text/css" media="screen" />
<link rel="stylesheet" href="accepted_papers.css" type="text/css" media="screen" />
</head>
<body>
<h1>HSCC 2020 Accepted Papers</h1>
<h2>Regular/Tool Papers</h2>
<ul class="accepted-papers">
<li class="paper">
<span class="authors"><span>Niklas Kochdumper, Bastian Schürmann and Matthias Althoff</span>.</span> <span class="title">Utilizing Dependencies to Obtain Subsets of Reachable
Sets</span>
</li>
<li class="paper"><span class="authors"><a href=
"http://group-mmm.org/~mwaga/">Masaki Waga</a>.</span> <span class=
"title">Falsification of Cyber-Physical Systems with
Robustness-Guided Black-Box Checking</span></li>
<li class="paper"><span class="authors"><span>Niklas Kochdumper
and Matthias Althoff</span>.</span> <span class=
"title">Reachability Analysis for Hybrid Systems with Nonlinear
Guard Sets</span></li>
<li class="paper"><span class="authors"><span>Guillaume O Berger
and Raphaël M Jungers</span>.</span> <span class="title">Worst-case
topological entropy and minimal data rate for state observation of
switched linear systems</span></li>
<li class="paper"><span class="authors"><span><a href=
"https://sites.google.com/site/pushpakjagtap/">Pushpak Jagtap</a>,
<a href="https://www.hyconsys.com/members/swikir/">Abdalla
Swikir</a> and <a href="https://www.hyconsys.com/">Majid
Zamani</a></span>.</span> <span class="title">Compositional
Construction of Control Barrier Functions for Interconnected
Control Systems</span></li>
<li class="paper"><span class="authors"><span>Corto Mascle,
<a href="https://www.mpi-sws.org/people/neider/">Daniel Neider</a>,
<a href=
"https://www.react.uni-saarland.de/people/schwenger.html">Maximilian
Schwenger</a>, <a href="http://www.ee.ucla.edu/~tabuada">Paulo
Tabuada</a>, Alexander Weinert and <a href=
"https://www.csc.liv.ac.uk/~zimmermann/">Martin
Zimmermann</a></span>.</span> <span class="title">From LTL to rLTL
Monitoring: Improved Monitorability through Robust
Semantics</span></li>
<li class="paper"><span class="authors"><span><a href=
"https://www.uni-muenster.de/Informatik.AGRemke/en/personen/carinapilch/index.html">
Carina Pilch</a>, <a href="http://arnd.hartmanns.name/">Arnd
Hartmanns</a> and <a href=
"https://www.uni-muenster.de/Informatik.AGRemke/en/personen/prof.dr.anneremke/index.html">
Anne Remke</a></span>.</span> <span class="title">Classic and
Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic
Firings</span></li>
<li class="paper"><span class="authors"><span>Daniel Jarne Ornia
and <a href="https://mmazojr.3me.tudelft.nl/">Manuel
Mazo</a></span>.</span> <span class="title">Convergence of Ant
Colony Multi-Agent Swarms</span></li>
<li class="paper"><span class="authors"><span>Viktorio Hakim and
Marco Bekooij</span>.</span> <span class="title">Dynamics-Aware
Subspace Identification for Decomposed Aggregation in the
Reachability Analysis of Hybrid Automata</span></li>
<li class="paper"><span class="authors"><span>Davide Bresolin,
Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa and
Sanja Zivanovic Gonzalez</span>.</span> <span class="title">A
computable and compositional semantics for hybrid
automata</span></li>
<li class="paper"><span class="authors"><span>Colin Shea-Blymyer
and Houssam Abbas</span>.</span> <span class="title">A Deontic
Logic Analysis of Autonomous Systems' Safety</span></li>
<li class="paper"><span class="authors">Maben Rabi.</span>
<span class="title">Piece-wise analytic trajectory computation for
polyhedral switching between stable affine systems</span></li>
<li class="paper"><span class="authors"><span><a href=
"http://sites.google.com/a/g.ucla.edu/tzanis">Tzanis Anevlavis</a>
and <a href="http://www.ee.ucla.edu/~tabuada">Paulo
Tabuada</a></span>.</span> <span class="title">A simple hierarchy
for computing controlled invariant sets</span></li>
<li class="paper"><span class="authors"><span>Mojtaba Zarei, Yu
Wang and <a href="http://people.duke.edu/~mp275">Miroslav
Pajic</a></span>.</span> <span class="title">Statistical
Verification of Learning-Based Cyber-Physical Systems</span></li>
<li class="paper"><span class="authors"><span>Taisa Kushner,
<a href="http://www.cs.colorado.edu/~srirams">Sriram
Sankaranarayanan</a> and Marc Breton</span>.</span> <span class=
"title">Conformance Verification for Neural Network Models of
Glucose-Insulin Dynamics</span></li>
<li class="paper"><span class="authors"><span><a href=
"http://sadraddini.com/">Sadra Sadraddini</a> and <a href=
"http://people.csail.mit.edu/russt">Russ Tedrake</a></span>.</span>
<span class="title">Robust Output Feedback Control with Guaranteed
Constraint Satisfaction</span></li>
<li class="paper"><span class="authors"><span>Kasra Ghasemi,
<a href="http://sadraddini.com/">Sadra Sadraddini</a> and Calin
Belta</span>.</span> <span class="title">Compositional Synthesis
via a Convex Parameterization of Assume-Guarantee
Contracts</span></li>
<li class="paper"><span class="authors"><span>James Ferlez and
Yasser Shoukry</span>.</span> <span class="title">AReN: Assured
ReLU NN Architecture for Model Predictive Control of LTI
Systems</span></li>
<li class="paper"><span class="authors"><span><a href=
"http://www.mpi-sws.org/~rupak">Rupak Majumdar</a>, <a href=
"http://www.mpi-sws.org/~kmallik">Kaushik Mallik</a> and <a href=
"http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh
Soudjani</a></span>.</span> <span class="title">Symbolic Controller
Synthesis for Buchi Specifications on Stochastic
Systems</span></li>
<li class="paper"><span class="authors"><span>
Mohamed Adlene Maghenem and Ricardo Sanfelice
</span>.</span> <span class="title">Local
Lipschitzness of Reachability Maps for Hybrid Systems with
Applications to Safety</span></li>
<li class="paper"><span class="authors"><span>Radoslav Ivanov,
Taylor Carpenter, <a href=
"https://www.seas.upenn.edu/~weimerj/">James Weimer</a>, <a href=
"http://www.cis.upenn.edu/~alur/">Rajeev Alur</a>, <a href=
"http://www.seas.upenn.edu/~pappasg/">George Pappas</a> and Insup
Lee</span>.</span> <span class="title">Case Study: Verifying the
Safety of an Autonomous Racing Car with a Neural Network
Controller</span></li>
<li class="paper"><span class="authors"><span>Aakash Abhishek,
Harry Sood and Jean-Baptiste Jeannin</span>.</span> <span class=
"title">Formal Verification of Braking while Swerving in
Automobiles</span></li>
<li class="paper"><span class="authors"><span>Sara Mohammadinejad,
Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell
Vazquez-Chanlatte and Alexandre Donze</span>.</span> <span class=
"title">Interpretable Classification of Time-Series Data using
Efficient Enumerative Techniques</span></li>
<li class="paper"><span class="authors"><span>Rupak Majumdar,
Necmiye Ozay and Anne-Kathrin Schmuck</span>.</span> <span class=
"title">On Abstraction-Based Controller Design With Output
Feedback</span></li>
<li class="paper"><span class="authors"><span>Pranav Ashok,
Mathias Jackermeier, Pushpak Jagtap, Jan Kretinsky, Maximilian
Weininger and Majid Zamani</span>.</span> <span class=
"title">dtControl: Decision Tree Learning Algorithms for Controller
Representation</span></li>
<li class="paper"><span class="authors">Anton Proskurnikov.</span>
<span class="title">Does sample-time emulation preserve exponential
stability?</span></li>
<li class="paper"><span class="authors"><span>Hengjun Zhao, Xia
Zeng, Taolue Chen and Zhiming Liu</span>.</span> <span class=
"title">Synthesizing Barrier Certificates Using Neural
Networks</span></li>
<li class="paper"><span class="authors"><span>Hyejin Han, Mohamed
Maghenem and Ricardo Sanfelice</span>.</span>
<span class= "title">Sufficient Conditions for Satisfaction of Formulas with
Until Operators in Hybrid Systems</span></li>
<li class="paper"><span class="authors"><span>Benoît Caillaud,
Mathias Malandain and Joan Thibault</span>.</span> <span class=
"title">Implicit Structural Analysis of Multi-Mode DAE
Systems</span></li>
</ul>
<h2>Poster/Demo papers</h2>
<ul class="accepted-papers">
<li class="paper"><span class="authors"><span>
<a href="http://www.irisa.fr/prive/Benoit.Caillaud/">Benoît Caillaud</a>,
Mathias Malandain and Joan Thibault</span>.
</span><span class="title">
Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
</span></li>
<li class="paper"><span class="authors"><span>
<a href="https://www7.in.tum.de/~ashok/">Pranav Ashok</a>,
Mathias Jackermeier, Pushpak Jagtap,
<a href="https://www7.in.tum.de/~kretinsk/">Jan Kretinsky</a>, Maximilian Weininger and
<a href="https://sites.google.com/site/zamani1362">Majid Zamani</a></span>. </span>
<span class="title">Demo: dtControl: Decision Tree
Learning Algorithms for Controller Representation
</span>
</li>
<li class="paper"><span class="authors"><span>
<a href="https://www.lavaei.de">Abolfazl Lavaei</a>,
<a href="https://www.hcs.ei.tum.de/en/members/mahmoud/">Mahmoud Khaled</a>,
<a href="http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh Soudjani</a> and
<a href="https://sites.google.com/site/zamani1362">Majid Zamani</a></span>. </span>
<span class="title">Poster: AMYTISS: A parallelized
Tool on Automated Controller Synthesis for Large-Scale
Stochastic Systems
</span>
</li>
<li class="paper"><span class="authors">Necmiye
Ozay. </span> <span class="title">Poster:
Inter-Triggering Hybrid Automata: A Formalism for
Responsibility-Sensitive Safety</span>
</li>
<li class="paper"><span class="authors"><span>
Kaushik Mallik, Daniel Neider, Stanly Samuel and Anne-Kathrin Schmuck</span>.
</span><span class="title">
Poster: Resilient Abstraction-Based Controller Design
</span></li>
</ul>
<h2>Presentation-only</h2>
<ul class="accepted-papers">
<li class="paper"><span class="authors"><span>
<a href="http://ushiolab.sys.es.osaka-u.ac.jp/~kazumune.hashimoto/english/index.html">
Kazumune Hashimoto</a> and
<a href="http://ushiolab.sys.es.osaka-u.ac.jp/">
Toshimitsu Ushio</a></span>.
</span><span class="title">
Poster: A learning-based approach towards symbolic safety controller synthesis
</span></li>
</ul>
</body>