Polynomial Time Decidability of Weighted Synchronization under Partial Observability
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F15%3A00081430" target="_blank" >RIV/00216224:14330/15:00081430 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
Popis výsledku v původním jazyce
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 thesynchronization problem is decidable in polynomial time for deterministic weighted automata.
Název v anglickém jazyce
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
Popis výsledku anglicky
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 thesynchronization problem is decidable in polynomial time for deterministic weighted automata.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
26th International Conference on Concurrency Theory (CONCUR 2015)
ISBN
9783939897910
ISSN
1868-8969
e-ISSN
—
Počet stran výsledku
13
Strana od-do
142-154
Název nakladatele
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Místo vydání
Dagstuhl, Germany
Místo konání akce
Dagstuhl, Germany
Datum konání akce
1. 1. 2015
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—