D
Denis Oddoux
Researcher at University of Paris
Publications - 2
Citations - 774
Denis Oddoux is an academic researcher from University of Paris. The author has contributed to research in topics: Büchi automaton & Automaton. The author has an hindex of 2, co-authored 2 publications receiving 731 citations.
Papers
More filters
Book ChapterDOI
Fast LTL to Büchi Automata Translation
Paul Gastin,Denis Oddoux +1 more
TL;DR: An algorithm to generate Buchi automata from LTL formulae is presented and compared with Spin: the experiments show that the algorithm is much more efficient than Spin.
Book ChapterDOI
LTL with Past and Two-Way Very-Weak Alternating Automata
Paul Gastin,Denis Oddoux +1 more
TL;DR: This paper proposes a translation procedure of PLTL (LTL with past modalities) formulas to Buchi automata using two-way very-weak alternating automata (2VWAA) as an intermiediary step and produces an efficient translation of 2VWAA to generalized BBA.