Search results
From MaRDI portal
- Publication Date of Publication Type Computation of moments for probabilistic finite-state automata 2021-03-31 Paper An integrated grammar-based approach for...10 bytes (18 words) - 18:35, 13 December 2023
- Publication Date of Publication Type Computation of moments for probabilistic finite-state automata 2021-03-31 Paper Multimodal interactive transcription of text...10 bytes (16 words) - 02:14, 25 September 2023
- On monadic NP vs monadic co-NP 1995-09-17 Paper Finite state verifiers I 1994-11-13 Paper Finite state verifiers II 1994-11-13 Paper Lower bounds on the...10 bytes (19 words) - 09:33, 13 December 2023
- Publication Date of Publication Type PAC-learnability of probabilistic deterministic finite state automata in terms of variation distance 2007-12-19 Paper Algorithmic...10 bytes (16 words) - 11:24, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q4364544 1997-11-17 Paper Finite state verifiers I 1994-11-13 Paper Finite state verifiers II 1994-11-13 Paper Bounds on the time...10 bytes (17 words) - 11:45, 7 October 2023
- Markov Automata 2011-07-07 Paper Finite axiomatization for symbolic probabilistic \(\pi \)-calculus 2011-01-05 Paper Characterising Probabilistic Processes...10 bytes (17 words) - 19:28, 11 December 2023
- inference by finite automata 2008-05-28 Paper Artin’s Conjecture and Size of Finite Probabilistic Automata 2008-03-25 Paper Size of Quantum Finite State Transducers...10 bytes (18 words) - 04:34, 9 December 2023
- framework for checking semantic equivalences between pushdown automata and finite-state automata 2017-10-11 Paper Trading Performance for Stability in Markov...10 bytes (17 words) - 03:23, 9 December 2023
- using GSPNs 2019-12-18 Paper Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems 2019-09-17 Paper Multi-cost...10 bytes (19 words) - 01:51, 9 December 2023
- Paper Quantum Finite Automata: A Modern Introduction 2015-09-08 Paper The complexity of debate checking 2015-09-04 Paper FINITE AUTOMATA WITH ADVICE TAPES...10 bytes (16 words) - 23:24, 9 December 2023
- 2014-04-03 Paper On the State Complexity of Semi-quantum Finite Automata 2014-03-31 Paper State succinctness of two-way finite automata with quantum and classical...10 bytes (17 words) - 03:48, 10 December 2023
- GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE AMBIGUITY OF FINITE-STATE TRANSDUCERS 2011-07-14 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 14:33, 8 December 2023
- Detectability verification of probabilistic Boolean networks 2021-12-02 Paper Stabilization of probabilistic finite automata based on semi-tensor product...10 bytes (17 words) - 00:18, 13 December 2023
- Influence of column deformation 2013-10-24 Paper Learning probabilistic automata: a study in state distinguishability 2013-03-04 Paper Distributive lattices...10 bytes (18 words) - 21:56, 10 December 2023
- 2020-05-27 Paper Deciding probabilistic bisimilarity distance one for probabilistic automata 2020-03-26 Paper Generalizing finiteness conditions of labelled...10 bytes (18 words) - 03:23, 9 December 2023
- Load Balancing 2008-08-14 Paper PAC-learnability of probabilistic deterministic finite state automata in terms of variation distance 2007-12-19 Paper A Bound...10 bytes (18 words) - 09:17, 25 September 2023
- quasi-stationary distributions and ratio limit theorems for a class of probabilistic automata 1996-10-31 Paper https://portal.mardi4nfdi.de/entity/Q4884947 1996-09-22...10 bytes (16 words) - 00:27, 9 December 2023
- Operational State Complexity and Decidability of Jumping Finite Automata 2019-06-24 Paper Decidability of right one-way jumping finite automata 2018-11-22...10 bytes (17 words) - 03:32, 9 December 2023
- linear finite-state machines 2017-06-20 Paper Encoded dynamics for fault tolerance in linear finite-state machines 2017-06-20 Paper Probabilistic Marking...10 bytes (19 words) - 12:32, 28 January 2024
- Equivalence between Mizumoto Lattice Finite Automata 2011-03-02 Paper Lattice Minimal Automata and Lattice Reduced Automata 2011-03-02 Paper https://portal...10 bytes (17 words) - 19:31, 8 December 2023