Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Rakow, Astrid"'
Publikováno v:
EPTCS 395, 2023, pp. 1-9
Constantly informing systems (CIS), that is technical systems that provide us with information over a long period of time, face the challenge of providing us with helpful information. The information base of a human model changes over time but also h
Externí odkaz:
http://arxiv.org/abs/2311.09776
Autor:
Rakow, Astrid
We are in the process of building complex highly autonomous systems that have build-in beliefs, perceive their environment and exchange information. These systems construct their respective world view and based on it they plan their future manoeuvres
Externí odkaz:
http://arxiv.org/abs/2307.14355
Autor:
Rakow, Astrid
Publikováno v:
EPTCS 371, 2022, pp. 103-119
A highly autonomous system (HAS) has to assess the situation it is in and derive beliefs, based on which, it decides what to do next. The beliefs are not solely based on the observations the HAS has made so far, but also on general insights about the
Externí odkaz:
http://arxiv.org/abs/2209.14038
Publikováno v:
EPTCS 308, 2019, pp. 47-65
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this se
Externí odkaz:
http://arxiv.org/abs/1911.07290
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this se
Externí odkaz:
http://arxiv.org/abs/1905.11764
Publikováno v:
EPTCS 229, 2016, pp. 21-34
A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study this question in the setting of reactive synthesis, where one constru
Externí odkaz:
http://arxiv.org/abs/1611.07621
Autor:
Rakow, Astrid, Schwammberger, Maike
For a safe and successful future with autonomous traffic agents (ATAs), these ATAs need to be enabled to understand and abide by traffic rules. However, purely formalising and analysing traffic rules is not enough to solve this task. In this paper, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb3a702a86ed1384a4dbd128d0ee995b
Publikováno v:
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bf8123f1622de53d5f70dfa5172832b
https://doi.org/10.1109/rew56159.2022.00025
https://doi.org/10.1109/rew56159.2022.00025
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rakow, Astrid
In der vorliegenden Arbeit werden zwei Reduktionsansätze für Petri-Netze vorgestellt, Petri-Netz Slicing und Cutvertex Reduktionen. Beide Ansätze zielen darauf ab, der Zustandsraumexplosion beim Model Checken entgegenzuwirken. Dazu transformieren
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1443::4921b735b206feda385f984df033655b
http://oops.uni-oldenburg.de/1332/
http://oops.uni-oldenburg.de/1332/