Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Maike Schwammberger"'
Autor:
Maike Schwammberger
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 269, Iss Proc. SCAV 2018, Pp 17-31 (2018)
With Multi-lane Spatial Logic (MLSL) a powerful approach to formally reason about and prove safety of autonomous traffic manoeuvres was introduced. Extended timed automata controllers using MLSL were constructed to commit safe lane change manoeuvres
Externí odkaz:
https://doaj.org/article/4c2b03b0feea4b5288a993390ee994b3
Autor:
Maike Schwammberger
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 59-74 (2017)
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information abo
Externí odkaz:
https://doaj.org/article/2e8523f894a1498ea7fecbb51a4d8a29
Autor:
Maike Schwammberger
Publikováno v:
it - Information Technology. 63:253-263
As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about
Autor:
Maike Schwammberger, Verena Klös
Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behaviour and reasons for autonomous decision should be explained to users, e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9523fad56f9e471137075a8a12eca14c
http://arxiv.org/abs/2209.14034
http://arxiv.org/abs/2209.14034
Publikováno v:
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
Autor:
Maike Schwammberger
Publikováno v:
RE Workshops
While autonomous systems are increasingly capturing the markets, they also become more and more complex. Thus, the (self-) explainability of these complex and adaptive systems becomes evermore important. We introduce explainability to our previous wo
Autor:
Gleifer Vaz Alves, Maike Schwammberger
Publikováno v:
FMAS
During the design of autonomous vehicles (AVs), several stages should include a verification process to guarantee that the AV is driving safely on the roads. One of these stages is to assure the AVs abide by the road traffic rules. To include road tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cb69c24e17f1ce9a49abc80426d2a24
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
FM Workshops (1)
Autonomous crossing manoeuvres at intersections are especially challenging. In related work, a crossing controller for provably safe autonomous urban traffic manoeuvres was introduced. We extend this controller by a decentralised communication proced
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95bef53350b68707e1673660c725c26d
https://doi.org/10.1007/978-3-030-54994-7_18
https://doi.org/10.1007/978-3-030-54994-7_18
Autor:
Maike Schwammberger
Publikováno v:
Theoretical Computer Science. 744:143-169
Autor:
Joel Greenyer, Andreas Wortmann, Andreas Vogelsang, Christoph Sommer, Verena Klös, Francisco J. Chiyah Garcia, Mathias Blumreiter, Maike Schwammberger
Publikováno v:
MODELS Companion
With the increasing complexity of Cyber-Physical Systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time,