نتایج جستجو برای: determinization

تعداد نتایج: 268  

2015
Henryk Michalewski

Automata on Infinite Words. Automata running on infinite words (such as non-deterministic Büchi automata) provide an established framework for the specification and verification of nonterminating programs (in particular via the model checking technique). However, some of their basic properties are known to require non-trivial reasoning principles. This is most notably the case of closure under ...

2015
Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke

The determinization of Büchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been a steady progress of constructions: by McNaughton, Safra, Piterman, Schewe, and others. Despite the proliferation of solutions, they are all essentially ad-hoc constructions, with little theory behind them other than ...

2015
Dana Fisman Yoad Lustig

The problem of Büchi determinization is a fundamental problem with important applications in reactive synthesis, multi-agent systems and probabilistic verification. The first asymptotically optimal Büchi determinization (a.k.a the Safra construction), was published in 1988. While asymptotically optimal, the Safra construction is notorious for its technical complexity and opaqueness in terms of ...

2010
Sung Wook Yoon Wheeler Ruml J. Benton Minh Binh Do

Recently, ‘determinization in hindsight’ has enjoyed surprising success in on-line probabilistic planning. This technique evaluates the actions available in the current state by using non-probabilistic planning in deterministic approximations of the original domain. Although the approach has proven itself effective in many challenging domains, it is computationally very expensive. In this paper...

2018
Ivan S. Zapreev Cees Verdier Manuel Mazo

Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations between abstract states and inputs, such controllers are immense in size, which makes them futile for embedded platforms. Control-synthesis tools such as PESSOA, SCOTS, and CoSyMA tackle the problem by storing controllers...

2012
Minami Niwa Naoki Nishida Masahiko Sakai

The inversion method proposed by Glück and Kawabe uses grammar programs as intermediate results that comprise sequences of operations (data generation, matching, etc.). The determinization method used in the inversion method fails for a grammar program of which the collection of item sets causes a conflict even if there exists a deterministic program equivalent to the grammar program. In this p...

Journal: :SIAM J. Comput. 1998
Adam L. Buchsbaum Raffaele Giancarlo Jeffery Westbrook

We study determinization of weighted finite-state automata (WFAs), which has important applications in automatic speech recognition (ASR). We provide the first polynomial-time algorithm to test for the twins property, which determines if a WFA admits a deterministic equivalent. We also provide a rigorous analysis of a determinization algorithm of Mohri, with tight bounds for acyclic WFAs. Given...

Journal: :Journal of Automata, Languages and Combinatorics 2005
Daniel Kirsten Ina Fichtner

In the paper, we generalize an algorithm and some related results by Mohri [25] for determinization of weighted finite automata (WFA) over the tropical semiring. We present the underlying mathematical concepts of his algorithm in a precise way for arbitrary semirings. We define a class of semirings in which we can show that the twins property is sufficient for the termination of the algorithm. ...

2010
Howard Straubing Antoine Delignat-Lavaud

2 Automata over forests 4 2.1 Forest automata . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Bottom-up deterministic forest automata . . . . . . . . . . 5 2.3 Minimization of BUDFA . . . . . . . . . . . . . . . . . . . 8 2.4 BUNFA and determinization . . . . . . . . . . . . . . . . . 14 2.5 Computing the syntactic forest algebra of a language . . . 16 2.6 Logical characterization . . . ....

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید