License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2017.6
URN: urn:nbn:de:0030-drops-84164
URL: http://drops.dagstuhl.de/opus/volltexte/2018/8416/
Go to the corresponding LIPIcs Volume Portal


Wilke, Thomas

Backward Deterministic Büchi Automata on Infinite Words

pdf-format:
LIPIcs-FSTTCS-2017-6.pdf (0.4 MB)


Abstract

This paper describes how backward deterministic Büchi automata are defined, what their main features are, and how they can be applied to solve problems in temporal logic.

BibTeX - Entry

@InProceedings{wilke:LIPIcs:2018:8416,
  author =	{Thomas Wilke},
  title =	{{Backward Deterministic B{\"u}chi Automata on Infinite Words}},
  booktitle =	{37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)},
  pages =	{6:6--6:9},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-055-2},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{93},
  editor =	{Satya Lokam and R. Ramanujam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8416},
  URN =		{urn:nbn:de:0030-drops-84164},
  doi =		{10.4230/LIPIcs.FSTTCS.2017.6},
  annote =	{Keywords: finite automata, infinite words, determinism, backward automata, temporal logic, separated formulas}
}

Keywords: finite automata, infinite words, determinism, backward automata, temporal logic, separated formulas
Seminar: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
Issue Date: 2018
Date of publication: 26.01.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI