Zobrazeno 1 - 10
of 372
pro vyhledávání: '"Fabian, Martin"'
Autor:
Tětková, Lenka, Brüsch, Thea, Scheidt, Teresa Karen, Mager, Fabian Martin, Aagaard, Rasmus Ørtoft, Foldager, Jonathan, Alstrøm, Tommy Sonne, Hansen, Lars Kai
Current work on human-machine alignment aims at understanding machine-learned latent spaces and their correspondence to human representations. G{\"a}rdenfors' conceptual spaces is a prominent framework for understanding human representations. Convexi
Externí odkaz:
http://arxiv.org/abs/2305.17154
Autor:
Steike, David Rene1 (AUTHOR) davidrene.steike@ukmuenster.de, Troschel, Fabian Martin1 (AUTHOR), Roers, Julian1 (AUTHOR), Siats, Jan Jakob1 (AUTHOR), Kittel, Christopher1 (AUTHOR), Pepper, Niklas Benedikt1 (AUTHOR), Gravemeyer, Stefan1 (AUTHOR), Papavassilis, Philipp2 (AUTHOR), Schrader, Andres Jan2 (AUTHOR), Eich, Hans Theodor1 (AUTHOR), Scobioala, Sergiu1 (AUTHOR)
Publikováno v:
Cancers. Oct2024, Vol. 16 Issue 19, p3403. 13p.
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads. This persuasi
Externí odkaz:
http://arxiv.org/abs/2210.07798
Autor:
Huck, Tom P., Selvaraj, Yuvaraj, Cronrath, Constantin, Ledermann, Christoph, Fabian, Martin, Lennartson, Bengt, Kröger, Torsten
Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human reasoning, past e
Externí odkaz:
http://arxiv.org/abs/2209.12560
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness, care must
Externí odkaz:
http://arxiv.org/abs/2207.05854
Autor:
Adrian Schimek, Judy K.M. Ng, Ioannes Basbas, Fabian Martin, Dongyue Xin, David Saleh, Jürgen Hubbuch
Publikováno v:
Molecular Therapy: Methods & Clinical Development, Vol 32, Iss 4, Pp 101335- (2024)
Externí odkaz:
https://doaj.org/article/e2415659fad24882ba916afd0500c2aa
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. The focus is on systems with disturbance, where future states cannot be
Externí odkaz:
http://arxiv.org/abs/2205.13959
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conventional development approaches such as testing and simulation are limit
Externí odkaz:
http://arxiv.org/abs/2204.06873
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is an extension of the Vehicle Routing Problem (VRP), a combinatorial optimization problem of designing routes for vehicles to visit customers such that a cost function, typically the numbe
Externí odkaz:
http://arxiv.org/abs/2203.06977
Autor:
Raschmanová, Jana Špaková, Fazekašová, Simona, Martinková, Miroslava, Fábian, Martin, Pilátová, Martina Bago, Cvačka, Josef, Kofroňová, Edita, Mezencev, Roman
Publikováno v:
In Carbohydrate Research July 2024 541