2015
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
KŘETÍNSKÝ, Jan, Kim Guldstrand LARSEN, Simon LAURSEN a Jiří SRBAZá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
Klíčová slova anglicky
weighted automata; partial observability; synchronization; complexity
Štítky
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 |
|