D 2015

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

KŘETÍNSKÝ, Jan, Kim Guldstrand LARSEN, Simon LAURSEN a Jiří SRBA

Základní údaje

Originální název

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Autoři

KŘETÍNSKÝ, Jan (203 Česká republika, garant, domácí), Kim Guldstrand LARSEN (208 Dánsko), Simon LAURSEN (208 Dánsko) a Jiří SRBA (203 Česká republika, domácí)

Vydání

Dagstuhl, Germany, 26th International Conference on Concurrency Theory (CONCUR 2015), od s. 142-154, 13 s. 2015

Nakladatel

Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/15:00081430

Organizační jednotka

Fakulta informatiky

ISBN

978-3-939897-91-0

ISSN

DOI

http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.142

Klíčová slova anglicky

weighted automata; partial observability; synchronization; complexity

Štítky

core_A, firank_A, formela-conference

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 23. 10. 2017 12:43, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We consider weighted automata with both positive and negative integer weights on edges and study the problem of synchronization using adaptive strategies that may only observe whether the current weight-level is negative or nonnegative. We show that the synchronization problem is decidable in polynomial time for deterministic weighted automata.

Návaznosti

GBP202/12/G061, projekt VaV
Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky
Zobrazeno: 17. 11. 2024 12:51