Weighted Automata on Infinite Words in the Context of Attacker-Defender Games
Attributed to:
Reachability problems for words, matrices and maps: Algorithms and Complexity
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-20028-6_21
Publication URI: http://dx.doi.org/10.1007/978-3-319-20028-6_21
Type: Book Chapter
Book Title: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings (2015)
Page Reference: 206-215
ISBN: 978-3-319-20027-9