Search results
From MaRDI portal
- Power Series 2022-04-28 Paper Weighted Automata and Weighted Logics 2022-04-28 Paper Weighted automata 2022-02-04 Paper Weighted operator precedence languages...10 bytes (16 words) - 10:20, 9 December 2023
- Minimisation of Weighted Automata on Unranked Trees 2009-06-30 Paper DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA 2009-06-23 Paper Weighted monadic Datalog...10 bytes (16 words) - 09:57, 8 December 2023
- Paper A disambiguation algorithm for weighted automata 2017-06-19 Paper On the Rademacher Complexity of Weighted Automata 2016-11-30 Paper Learning with Deep...10 bytes (17 words) - 14:33, 8 December 2023
- infinite words 2010-02-05 Paper Weighted automata and weighted logics with discounting 2009-09-14 Paper Weighted Automata and Weighted Logics on Infinite Words...10 bytes (16 words) - 03:06, 9 December 2023
- Bideterministic weighted automata 2024-02-02 Paper Bideterministic weighted automata 2023-07-26 Paper Polynomially ambiguous unary weighted automata over fields...10 bytes (16 words) - 02:00, 7 October 2023
- Rademacher Complexity of Weighted Automata 2016-11-30 Paper Learning Weighted Automata 2015-09-22 Paper Spectral learning of weighted automata. A forward-backward...10 bytes (16 words) - 11:22, 6 October 2023
- Paper Weighted Automata and Logics on Infinite Graphs 2016-08-30 Paper Weighted Automata and Logics on Graphs 2015-09-16 Paper Weighted automata and logics...10 bytes (16 words) - 03:52, 25 September 2023
- Type Weighted register automata and weighted logic on data words 2018-09-24 Paper Multi-weighted automata and MSO logic 2017-01-18 Paper Weighted Register...10 bytes (16 words) - 09:44, 7 October 2023
- and Minimisation of Weighted Automata 2022-10-07 Paper Max-plus automata 2022-02-04 Paper On Hadamard Series and Rotating Q-Automata 2021-08-04 Paper https://portal...10 bytes (17 words) - 00:41, 25 September 2023
- for weighted tree automata 2022-03-22 Paper Approximated determinisation of weighted tree automata 2021-10-04 Paper Sequentiality of group-weighted tree...10 bytes (16 words) - 23:41, 24 September 2023
- translation from MITL to timed automata 2022-07-01 Paper A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile...10 bytes (16 words) - 10:01, 6 October 2023
- 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
- 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
- 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
- Probabilistic Automata 2015-12-11 Paper Decidability and Expressiveness of Recursive Weighted Logic 2015-12-03 Paper Concurrent weighted logic 2015-11-10...10 bytes (19 words) - 09:59, 8 December 2023
- over Automata with One Counter 2013-03-18 Paper MSO logics for weighted timed automata 2011-06-30 Paper On the Interval-Bound Problem for Weighted Timed...10 bytes (16 words) - 07:16, 12 December 2023
- for the Finite-Image Property of Weighted Finite Automata 2023-10-13 Paper Crisp-determinization of weighted tree automata over strong bimonoids 2022-09-30...10 bytes (17 words) - 18:21, 9 December 2023
- 2022-07-18 Paper Weighted Automata and Weighted Logics 2022-04-28 Paper Fast zone-based algorithms for reachability in pushdown timed automata 2022-03-25 Paper...10 bytes (16 words) - 13:44, 28 January 2024
- and surjunctivity 2024-03-25 Paper Cellular Automata and Groups 2024-02-10 Paper Exercises in Cellular Automata and Groups 2023-10-30 Paper First-order model...10 bytes (21 words) - 17:28, 9 December 2023
- picture automata and weighted logics 2011-04-01 Paper Characterizations of recognizable picture series 2009-06-22 Paper Weighted Picture Automata and Weighted...10 bytes (16 words) - 07:41, 13 December 2023