guest ::
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control
; ; ; ;
In
Acta informatica 58(5), Seiten/Artikel-Nr.:497-528
2021 & 2020
Published: 20 February 2020
Online
DOI: 10.18154/RWTH-2020-02436
DOI: 10.1007/s00236-020-00374-7
URL: https://publications.rwth-aachen.de/record/783310/files/783310.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
Inhaltliche Beschreibung (Schlagwörter)
control under delay (frei) ; efficient algorithmic synthesis (frei) ; safety games (frei)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85079778363
WOS Core Collection: WOS:000516361500001
OpenAlex: W3007408361
Interne Identnummern
RWTH-2020-02436
Datensatz-ID: 783310
Beteiligte Länder
Estonia, Germany, Peoples R China
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DEAL Springer ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; IF < 5 ; JCR ; Nationallizenz
; Nationallizenz ; SCOPUS ; Science Citation Index ; Science Citation Index Expanded ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
| Typ | Amount | VAT | Currency | Share | Status | Cost centre |
| Hybrid-OA | 1562.38 | 240.01 | EUR | 100.00 % | (DEAL) | |
| Sum | 1562.38 | 240.01 | EUR | |||
| Total | 1802.39 |
PDF