文章基本信息

标题：Backward Deterministic Büchi Automata on Infinite Words
作者：Thomas Wilke
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：93
页码：6:6-6:9
DOI：10.4230/LIPIcs.FSTTCS.2017.6
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：finite automata; infinite words; determinism; backward automata; temporal logic; separated formulas