Search results
From MaRDI portal
- Pictures: A Weighted Study 2022-04-28 Paper Parameterized model checking of weighted networks 2014-04-29 Paper Weighted automata and weighted MSO logics...10 bytes (16 words) - 00:41, 25 September 2023
- Minimisation for Weighted Tree Automata 2007-11-28 Paper Tiburon: A Weighted Tree Automata Toolkit 2007-09-06 Paper...10 bytes (16 words) - 10:43, 24 September 2023
- Type Algorithms for weighted finite automata with failure transitions 2018-11-07 Paper A disambiguation algorithm for weighted automata 2017-06-19 Paper On...10 bytes (18 words) - 16:30, 24 September 2023
- Polynomially Ambiguous Max-Plus Automata 2022-07-21 Paper Verification of Detectability for Unambiguous Weighted Automata 2021-05-28 Paper Initial-state...10 bytes (16 words) - 01:23, 25 September 2023
- Type A Nivat theorem for weighted picture automata and weighted MSO logics 2019-06-25 Paper Weighted register automata and weighted logic on data words 2018-09-24...10 bytes (16 words) - 19:46, 24 September 2023
- about online algorithms with weighted automata 2014-11-18 Paper Rigorous approximated determinization of weighted automata 2013-11-29 Paper Formal Analysis...10 bytes (16 words) - 05:33, 7 October 2023
- conditions 2018-01-17 Paper Weighted Restarting Automata as Language Acceptors 2016-11-09 Paper Weighted restarting automata and pushdown relations 2016-05-26...10 bytes (16 words) - 02:35, 25 September 2023
- Compositions of Weighted Extended Tree Transducers — The Unambiguous Case 2024-02-16 Paper Weighted tree automata with constraints 2024-02-09 Paper Weighted two-way...10 bytes (16 words) - 11:16, 7 October 2023
- Crisp-determinization of weighted tree automata over strong bimonoids 2022-09-30 Paper Finite-image property of weighted tree automata over past-finite monotonic...10 bytes (16 words) - 23:24, 24 September 2023
- PATH-EQUIVALENT DEVELOPMENTS IN ACYCLIC WEIGHTED AUTOMATA 2008-05-20 Paper Path-Equivalent Removals of ε-transitions in a Genomic Weighted Finite Automaton 2007-09-06...10 bytes (16 words) - 21:34, 22 September 2023
- Techniques for Weighted Systems 2020-08-05 Paper A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata...10 bytes (16 words) - 22:03, 24 September 2023
- 2019-12-18 Paper A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids 2016-04-13 Paper Weighted Tree Automata over Valuation Monoids and Their...10 bytes (16 words) - 08:58, 25 September 2023
- Alternating Weighted Automata 2011-10-07 Paper What’s Decidable about Weighted Automata? 2011-10-07 Paper Promptness in ω-Regular Automata 2010-10-04 Paper...10 bytes (16 words) - 17:57, 24 September 2023
- monitor automata 2018-08-27 Paper Nested Weighted Automata 2018-04-23 Paper The Target Discounted-Sum Problem 2018-04-23 Paper Quantitative Automata under...10 bytes (16 words) - 11:26, 6 October 2023
- Publication Date of Publication Type Weighted Automata over Vector Spaces 2024-04-09 Paper Multi-criteria decision making method for models with the dominant...10 bytes (16 words) - 13:15, 6 October 2023
- 2020-02-07 Paper Weighted finite automata with output 2018-10-22 Paper Further improvements of determinization methods for fuzzy finite automata 2018-01-22 Paper...10 bytes (16 words) - 12:17, 7 October 2023
- Quantitative-Automata 2024-01-16 Paper On the comparison of discounted-sum automata with multiple discount factors 2023-11-24 Paper Quantitative vs. weighted automata...10 bytes (16 words) - 13:16, 28 January 2024
- Type Ambiguity Hierarchies for Weighted Tree Automata 2023-11-24 Paper Ambiguity hierarchies for weighted tree automata 2022-03-22 Paper...10 bytes (16 words) - 01:53, 25 September 2023
- Publication Date of Publication Type Weighted Automata, Formal Power Series and Weighted Logic 2022-11-08 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- of Tree Automata 2008-06-10 Paper BISIMULATION MINIMIZATION OF TREE AUTOMATA 2008-05-20 Paper Bisimulation Minimisation for Weighted Tree Automata 2007-11-28...10 bytes (16 words) - 09:05, 7 October 2023
