Search results
From MaRDI portal
- 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
- Paper Nested Weighted Automata 2018-04-23 Paper The Target Discounted-Sum Problem 2018-04-23 Paper Quantitative Automata under Probabilistic Semantics...10 bytes (19 words) - 04:39, 9 December 2023
- k-Pair Streett Objectives 2018-04-23 Paper Nested Weighted Automata 2018-04-23 Paper Quantitative Automata under Probabilistic Semantics 2018-04-23 Paper...10 bytes (17 words) - 15:16, 6 October 2023
- 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
- 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
- logics for infinite nested words 2017-03-16 Paper Weighted Automata and Logics on Infinite Graphs 2016-08-30 Paper Weighted Automata and Logics on Graphs...10 bytes (16 words) - 03:52, 25 September 2023
- descriptional complexity of Watson-Crick automata 2009-08-07 Paper Operational state complexity of nested word automata 2009-08-07 Paper State complexity of...10 bytes (18 words) - 21:30, 9 December 2023
- Synchronised automata 2017-10-06 Paper Generalized Dyck shifts 2017-08-22 Paper Periodic-Finite-Type Shift Spaces 2017-07-12 Paper Shifts of \(k\)-nested sequences...10 bytes (19 words) - 17:12, 11 December 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
- https://portal.mardi4nfdi.de/entity/Q2932186 2014-11-28 Paper WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS 2014-11-14 Paper https://portal...10 bytes (16 words) - 19:44, 13 December 2023
- 2010-08-31 Paper Weighted Logics for Nested Words and Algebraic Formal Power Series 2010-03-15 Paper Definable transductions and weighted logics for texts...10 bytes (16 words) - 09:45, 24 September 2023
- Publication Date of Publication Type Hybrid tree automata and the yield theorem for constituent tree automata 2023-10-26 Paper Incremental termination proofs...10 bytes (16 words) - 18:21, 9 December 2023
- 2004-09-24 Paper Polyhedral flows in hybrid automata 2004-09-09 Paper Optimal paths in weighted timed automata 2004-08-10 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 05:20, 9 December 2023
- checking 2014-11-20 Paper Pebble Weighted Automata and Weighted Logics 2014-07-17 Paper Event clock message passing automata: a logical characterization and...10 bytes (16 words) - 12:42, 7 October 2023
- Optimal Reachability in Divergent Weighted Timed Games 2017-05-19 Paper Degree of Sequentiality of Weighted Automata 2017-05-19 Paper Robustness of Time...10 bytes (18 words) - 17:57, 24 September 2023
- Publication Date of Publication Type Nested diagnostic classification models for multiple‐choice items 2024-04-12 Paper \(n\)-PS-codes, 2-infix-outfix...10 bytes (16 words) - 21:29, 9 December 2023
- deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\) 2019-09-17 Paper Hybridization based CEGAR for hybrid automata with affine dynamics 2019-09-17...10 bytes (17 words) - 09:45, 24 September 2023
- Definable sets of finite graphs 2024-02-28 Paper Unfoldings and Coverings of Weighted Graphs 2023-09-14 Paper Betweenness in Order-Theoretic Trees 2022-11-09...10 bytes (17 words) - 10:24, 8 December 2023
- features 2022-03-09 Paper Topology dependent epidemic spreading velocity in weighted networks 2020-08-11 Paper Information geometric analysis of phase transitions...10 bytes (21 words) - 11:02, 9 December 2023