LIPIcs.CONCUR.2015.142.pdf
- Filesize: 456 kB
- 13 pages
Document
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
Authors
-
Part of:
Volume:
26th International Conference on Concurrency Theory (CONCUR 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Concurrency Theory (CONCUR) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-08-26
Cite AsGet BibTex
Jan Kretinsky, Kim Guldstrand Larsen, Simon Laursen, and Jiri Srba. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 142-154, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
Abstract
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.
Keywords
- weighted automata
- partial observability
- synchronization
- complexity
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads