Keywords: اتوماتای احتمالی; Probabilistic automata; Markov automata; Weak probabilistic bisimulation; Minimal quotient; Decision algorithm;
مقالات ISI اتوماتای احتمالی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اتوماتای احتمالی; Allocation strategies; Hybrid modeling; Mycorrhizal symbiosis; Phenotypic plasticity; Probabilistic automata
Keywords: اتوماتای احتمالی; Probabilistic automata; Weak probabilistic bisimulation; Branching probabilistic bisimulation; Weak probabilistic simulation; Branching probabilistic simulation; Linear programming problem; Polynomial decision algorithm
Keywords: اتوماتای احتمالی; Probabilistic verification; Compositional verification; Assume-guarantee reasoning; Probabilistic automata;
Keywords: اتوماتای احتمالی; Specification; Abstraction; Compositional reasoning; Interface automata; Probabilistic Automata;
Keywords: اتوماتای احتمالی; Probabilistic automata; Simulation; Partition refinement; Decision algorithm
Task-structured probabilistic I/O automata
Keywords: اتوماتای احتمالی; Probabilistic automata; I/O automata; Formal modeling; Cryptographic protocols;
Profinite techniques for probabilistic automata and the Markov Monoid algorithm
Keywords: اتوماتای احتمالی; Probabilistic automata; Profinite theory; Topology;
A formal verification framework for SysML activity diagrams
Keywords: اتوماتای احتمالی; SysML activity diagram; Probabilistic automata; Probabilistic relation; PCTL
A property-based abstraction framework for SysML activity diagrams
Keywords: اتوماتای احتمالی; Probabilistic model checking; SysML activity diagrams; Probabilistic automata; PCTL; Probabilistic relation;
Probabilistic automata for computing with words
Keywords: اتوماتای احتمالی; Computing with words; Extension principle; Probabilistic automata; Probabilistic grammars
On the complexity of minimizing probabilistic and quantum automata
Keywords: اتوماتای احتمالی; Probabilistic automata; Quantum automata; Decidability; Minimization
Quantum automata and algebraic groups
Keywords: اتوماتای احتمالی; Quantum automata; Probabilistic automata; Undecidability; Algebraic groups; Algebraic geometry;
Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms
Keywords: اتوماتای احتمالی; Probabilistic automata; Hidden Markov models; Grammar induction; PAC learning; Bayesian learning; Induction algorithms; HMM topology learning;